No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 790-790	San francisco california is an instance of american city
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 794-794	Savannah georgia is an instance of american city
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2447-2447	WashingtonDC united states is an instance of american city
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7164-7164
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7163-7163
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7162-7162

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