No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3563-3563 |
烏拉圭比索 是 烏拉圭 的 currency 類別 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1377-1377 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 726-726 |
發展中國家 是 烏拉圭 的 economy 類別 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 342-342 |
較未發達國家 是 烏拉圭 的 economy 類別 |
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 815-815 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 519-519 |
烏拉圭 是 南美洲南部 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 520-520 |
例 烏拉圭 and Nation |