No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3185-3185 |
圭亚那元 是 圭亚那 的 currency 类别 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1252-1252 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 656-656 |
发展中国家 是 圭亚那 的 economy 类别 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 272-272 |
较未发达国家 是 圭亚那 的 economy 类别 |
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 485-485 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 506-506 |
圭亚那 是 北美洲南部 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 507-507 |
圭亚那 是 国家 的 instance |