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

Mode	Name	Size
-rw-r--r--	Communications.gft	1450	log plain
-rw-r--r--	CountriesAndRegions.gft	1657	log plain
-rw-r--r--	CountriesAndRegionsP.gft	77565	log plain
-rw-r--r--	Economy.gft	10733	log plain
-rw-r--r--	EconomyHiO.gft	106	log plain
-rw-r--r--	EconomyP.gft	35840	log plain
-rw-r--r--	EconomySubAtt.gft	6439	log plain
-rw-r--r--	EconomySubRel.gft	156	log plain
-rw-r--r--	Either.gft	1519	log plain
-rw-r--r--	ExtraLem.gft	12375	log plain
-rw-r--r--	FinancialOntology.gft	56111	log plain
-rw-r--r--	FinancialOntologyHiO.gft	95	log plain
-rw-r--r--	FinancialOntologySubRel.gft	1406	log plain
-rw-r--r--	Geography.gft	67521	log plain
-rw-r--r--	GeographyHiO.gft	112	log plain
-rw-r--r--	GeographyP.gft	16855	log plain
-rw-r--r--	GeographySubAtt.gft	434	log plain
-rw-r--r--	GeographySubRel.gft	325	log plain
-rw-r--r--	Government.gft	27763	log plain
-rw-r--r--	GovernmentHiO.gft	304	log plain
-rw-r--r--	GovernmentP.gft	76315	log plain
-rw-r--r--	GovernmentSubAtt.gft	10000	log plain
-rw-r--r--	GovernmentSubRel.gft	1076	log plain
-rw-r--r--	Merge.gft	152019	log plain
-rw-r--r--	MergeHiO.gft	5367	log plain
-rw-r--r--	MergeP.gft	323	log plain
-rw-r--r--	MergeSubAtt.gft	544	log plain
-rw-r--r--	MergeSubRel.gft	7003	log plain
-rw-r--r--	Mid_level_ontology.gft	166954	log plain
-rw-r--r--	Mid_level_ontologyHiO.gft	1170	log plain
-rw-r--r--	Mid_level_ontologyP.gft	1844	log plain
-rw-r--r--	Mid_level_ontologySubAtt.gft	1110	log plain
-rw-r--r--	Mid_level_ontologySubRel.gft	6007	log plain
-rw-r--r--	Military.gft	4798	log plain
-rw-r--r--	MilitaryP.gft	453	log plain
-rw-r--r--	QoSOntology.gft	15936	log plain
-rw-r--r--	QoSOntologySubRel.gft	1852	log plain
-rw-r--r--	Transportation.gft	23530	log plain
-rw-r--r--	TransportationP.gft	640	log plain
-rw-r--r--	TransportationSubRel.gft	601	log plain
-rw-r--r--	WMD.gft	5228	log plain
-rw-r--r--	WMDP.gft	16980	log plain
-rw-r--r--	WMDSubAtt.gft	323	log plain
-rw-r--r--	WorldAirportsA-KP.gft	262363	log plain
-rw-r--r--	WorldAirportsL-ZP.gft	330098	log plain
-rw-r--r--	elements.gft	14428	log plain
-rw-r--r--	elementsP.gft	27287	log plain
-rw-r--r--	engineering.gft	3142	log plain
-rw-r--r--	engineeringHiO.gft	56	log plain
-rw-r--r--	engineeringP.gft	1048	log plain
-rw-r--r--	mondialP.gft	2244719	log plain