No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7232-7232
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7233-7233
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7238-7238
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7236-7236
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3138-3138	Los angeles california is a geographic subregion of united states
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 809-809	Los angeles california is an instance of american city
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 810-810	Los angeles california is a part of california

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