No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2869-2869	Ghaziabad uttar pradesh india is an instance of geographic area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2892-2892	Gush katif gaza strip is an instance of geographic area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2929-2929	Hodaya junction israel is an instance of geographic area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2932-2932	Holon junction israel is an instance of geographic area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2943-2943	Incirlik airbase turkey is an instance of geographic area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2952-2952	Island of bali indonesia is an instance of geographic area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2969-2969	Jalpaiguri railway station india is an instance of geographic area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3035-3035	Katmandu airport nepal is an instance of geographic area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3040-3040	Kedumim settlement west bank is an instance of geographic area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3115-3115	Les eucalyptus district algeria is an instance of geographic area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3140-3140	Los angeles international airport united states is an instance of geographic area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3145-3145	Los katios national park colombia is an instance of geographic area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3176-3176	Malukka islands indonesia is an instance of geographic area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3185-3185	Mangalsen and sanphe bagar nepal is an instance of geographic area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 94-94	Middle america is an instance of geographic area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 83-83	Middle east region is an instance of geographic area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3238-3238	Minharot road west bank is an instance of geographic area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3249-3249	Morag junction gaza strip is an instance of geographic area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3288-3288	Nallur area sri lanka is an instance of geographic area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 29-29	New england is an instance of geographic area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3308-3308	Neztarim settlement gaza strip is an instance of geographic area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3319-3319	Nokdim tekoa rd west bank is an instance of geographic area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 91-91	North america is an instance of geographic area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 80-80	Northern africa is an instance of geographic area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 102-102	Northern asia is an instance of geographic area
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