CaribbeanRegion(加勒比地區) |
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 |