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 |