SUMO « examples - gf-core.git - Unnamed repository; edit this file 'description' to name the repository.

Mode	Name	Size
-rw-r--r--	Basic.gf	2847	log plain
-rw-r--r--	BasicEng.gf	4842	log plain
-rw-r--r--	BasicFre.gf	4968	log plain
-rw-r--r--	BasicRon.gf	6028	log plain
-rw-r--r--	Communications.gf	6786	log plain
-rw-r--r--	CountriesAndRegions.gf	64589	log plain
-rw-r--r--	CountriesAndRegionsEng.gf	39860	log plain
-rw-r--r--	Economy.gf	98952	log plain
-rw-r--r--	EconomyEng.gf	348	log plain
-rw-r--r--	Elements.gf	49928	log plain
-rw-r--r--	ElementsEng.gf	4258	log plain
-rw-r--r--	Engineering.gf	39449	log plain
-rw-r--r--	EngineeringEng.gf	178	log plain
-rw-r--r--	FinancialOntology.gf	75425	log plain
-rw-r--r--	Geography.gf	123021	log plain
-rw-r--r--	Government.gf	71066	log plain
-rw-r--r--	Merge.gf	300922	log plain
-rw-r--r--	MergeEng.gf	82383	log plain
-rw-r--r--	MergeFre.gf	1921	log plain
-rw-r--r--	MergeRon.gf	2026	log plain
-rw-r--r--	MidLevelOntology.gf	333239	log plain
-rw-r--r--	MidLevelOntologyEng.gf	94749	log plain
-rw-r--r--	MidLevelOntologyFre.gf	1800	log plain
-rw-r--r--	MidLevelOntologyRon.gf	1911	log plain
-rw-r--r--	Military.gf	21474	log plain
-rw-r--r--	Mondial.gf	343276	log plain
-rw-r--r--	MondialEng.gf	389655	log plain
-rw-r--r--	QoSontology.gf	60973	log plain
d---------	RGLExt	510	log plain
-rw-r--r--	SUMO.gf	368	log plain
-rw-r--r--	SUMOEng.gf	251	log plain
-rw-r--r--	SUMOFre.gf	190	log plain
-rw-r--r--	SUMORon.gf	174	log plain
d---------	TPTP	2369	log plain
-rw-r--r--	Transportation.gf	59013	log plain
-rw-r--r--	WMD.gf	53744	log plain
-rw-r--r--	WorldAirportsA_K.gf	190747	log plain
-rw-r--r--	WorldAirportsL_Z.gf	242349	log plain
d---------	axioms	2290	log plain