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