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 |
冰岛 是 欧洲国家 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1257-1257 |
冰岛 是 岛 的 instance |