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

Mode	Name	Size
-rw-r--r--	Basic.gf	2936	log plain
-rw-r--r--	BasicEng.gf	4434	log plain
-rw-r--r--	BasicFre.gf	4953	log plain
-rw-r--r--	BasicRon.gf	5894	log plain
-rw-r--r--	Communications.gf	6773	log plain
-rw-r--r--	CountriesAndRegions.gf	63141	log plain
-rw-r--r--	CountriesAndRegionsEng.gf	38131	log plain
-rw-r--r--	Economy.gf	95564	log plain
-rw-r--r--	FinancialOntology.gf	73351	log plain
-rw-r--r--	Geography.gf	119448	log plain
-rw-r--r--	Government.gf	69438	log plain
-rw-r--r--	HigherOrder.gf	6002	log plain
-rw-r--r--	HigherOrderEng.gf	2715	log plain
-rw-r--r--	Merge.gf	281719	log plain
-rw-r--r--	MergeEng.gf	77812	log plain
-rw-r--r--	MergeFre.gf	1921	log plain
-rw-r--r--	MergeRon.gf	2026	log plain
-rw-r--r--	Mid_level_ontology.gf	321948	log plain
-rw-r--r--	Mid_level_ontologyEng.gf	92115	log plain
-rw-r--r--	Mid_level_ontologyFre.gf	1802	log plain
-rw-r--r--	Mid_level_ontologyRon.gf	1913	log plain
-rw-r--r--	Military.gf	20928	log plain
-rw-r--r--	QoSontology.gf	59283	log plain
d---------	RGLExt	510	log plain
-rw-r--r--	SUMO.gf	360	log plain
-rw-r--r--	SUMOEng.gf	305	log plain
-rw-r--r--	SUMOFre.gf	265	log plain
-rw-r--r--	SUMORon.gf	229	log plain
d---------	TPTP	2369	log plain
-rw-r--r--	Transportation.gf	56974	log plain
-rw-r--r--	WMD.gf	53441	log plain
-rw-r--r--	WorldAirportsA_K.gf	182651	log plain
-rw-r--r--	WorldAirportsL_Z.gf	232021	log plain
d---------	axioms	2290	log plain
-rw-r--r--	elements.gf	48303	log plain
-rw-r--r--	elementsEng.gf	4039	log plain
-rw-r--r--	engineering.gf	37875	log plain
-rw-r--r--	mondial.gf	332123	log plain
-rw-r--r--	mondialEng.gf	378570	log plain