No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3928-3928 |
挪威 是 南极洲 的 claimed 领土 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3740-3740 |
布维岛 是 挪威 的 dependent |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3795-3795 |
Jan mayen 岛 是 挪威 的 dependent |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3842-3842 |
斯瓦尔巴 是 挪威 的 dependent |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3356-3356 |
奥斯陆挪威 是 挪威 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 4040-4040 |
挪威 的名 是 "Norway" |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 2592-2592 |
SvalbardAndJanMayenIsland 是 挪威 的 part |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41253-41253 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41252-41252 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41251-41251 |
|