| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 315-315 |
丹麦 是 北欧 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 317-317 |
法罗群岛 是 北欧 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 318-318 |
芬兰 是 北欧 的 geographic 次要地区 |
| 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 322-322 |
Jan mayen 岛 是 北欧 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 323-323 |
挪威 是 北欧 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 325-325 |
斯瓦尔巴 是 北欧 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 326-326 |
瑞典 是 北欧 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. |
Geography.kif 116-116 |
北欧 的名 是 "Northern Europe" |
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41079-41079 |
|
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41078-41078 |
|
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41077-41077 |
|
