CaribbeanRegion(caribbean region)

-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 123-123 Caribbean region has name "Caribbean Region"
No TPTP formula. May not be expressible in strict first order. Geography.kif 124-124 Caribbean region has name "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