No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3531-3531 |
特立尼達和多巴哥元 是 特立尼達和多巴哥 的 currency 類別 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1368-1368 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 721-721 |
發展中國家 是 特立尼達和多巴哥 的 economy 類別 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 337-337 |
較未發達國家 是 特立尼達和多巴哥 的 economy 類別 |
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 796-796 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 462-462 |
特立尼達和多巴哥 是 加勒比地區 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 463-463 |
例 特立尼達和多巴哥 and Nation |