No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 790-790	例 舊金山加利福尼亞州 and 美國城市
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 794-794	例 薩凡納格魯吉亞 and 美國城市
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2447-2447	例 華盛頓特區美國 and 美國城市
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