No TPTP formula. May not be expressible in strict first order.	Geography.kif 3552-3552	Asia is a geographic subregion of eastern hemisphere
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2560-2560	Askelon israel is a geographic subregion of israel
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2562-2562	Asmara eritrea is a geographic subregion of eritrea
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2564-2564	Assam india is a geographic subregion of india
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2566-2566	Aswan egypt is a geographic subregion of egypt
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2568-2568	Asyut egypt is a geographic subregion of egypt
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2570-2570	Athens greece is a geographic subregion of greece
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2572-2572	Atrush iraq is a geographic subregion of iraq
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2574-2574	Atzmona gaza strip is a geographic subregion of gaza strip
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 660-660	Australia is a geographic subregion of oceania
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 275-275	Austria is a geographic subregion of central europe
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2576-2576	Avnei hefetz israel is a geographic subregion of israel
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2578-2578	Ayacucho peru is a geographic subregion of peru
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 632-632	Azerbaijan is a geographic subregion of southwestern asia
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2580-2580	Azor israel is a geographic subregion of israel
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2659-2659	B kaot west bank is a geographic subregion of west bank
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2582-2582	Bad vilbel germany is a geographic subregion of germany
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2584-2584	Baghdad iraq is a geographic subregion of iraq
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2586-2586	Bagre colombia is a geographic subregion of colombia panama
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2588-2588	Bahawalpur pakistan is a geographic subregion of pakistan
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 240-240	Bahrain is a geographic subregion of middle east region
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2590-2590	Baka al garbiyeh israel is a geographic subregion of israel
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 663-663	Baker island is a geographic subregion of oceania
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2592-2592	Bakka al sharkiya west bank is a geographic subregion of west bank
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2594-2594	Baku azerbaijan is a geographic subregion of azerbaijan
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