No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3324-3324	NorthernCaucasiusChechnya est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 86-86	NorthernEurope est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1313-1313	NorthernIreland est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 92-92	NorthernNorthAmerica est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 97-97	NorthernSouthAmerica est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 106-106	Oceania est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3338-3338	OilbaseAlgeria est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3341-3341	OilfieldsVenezuela est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3360-3360	OthnielJunctionIsrael est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3435-3435	RimalDistrictGazaStrip est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3454-3454	SaadaPakistan est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3496-3496	SantaRitaMountainsPanama est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4814-4814	SeaLevel est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3533-3533	SipadanIslandMalaysia est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 104-104	SoutheasternAsia est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 89-89	SoutheasternEurope est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 81-81	SouthernAfrica est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 103-103	SouthernAsia est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 87-87	SouthernEurope est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 98-98	SouthernSouthAmerica est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 105-105	SouthwesternAsia est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 90-90	SouthwesternEurope est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3551-3551	SukaimaniyahIraq est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3581-3581	TelHaShomerJunctionIsrael est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3611-3611	TrincomaleeHarborSriLanka est une instance de secteur g�ographique
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners