No TPTP formula. May not be expressible in strict first order.	Geography.kif 123-123	加勒比地区 的名 是 "Caribbean Region"
No TPTP formula. May not be expressible in strict first order.	Geography.kif 124-124	加勒比地区 的名 是 "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