No TPTP formula. May not be expressible in strict first order.	Geography.kif 123-123	CaribbeanRegion s'appele nom "Caribbean Region"
No TPTP formula. May not be expressible in strict first order.	Geography.kif 124-124	CaribbeanRegion s'appele nom "Caribbean"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13266-13266
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13265-13265
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13264-13264

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