No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3205-3205 |
冰島克朗 是 冰島 的 currency 類別 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1258-1258 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 545-545 |
發達經濟 是 冰島 的 economy 類別 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 159-159 |
發達國家 是 冰島 的 economy 類別 |
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 511-511 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 320-320 |
冰島 是 北歐 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 321-321 |
例 冰島 and 歐洲國家 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1257-1257 |
例 冰島 and Island |