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" and 挪威 |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 2592-2592 |
部分 SvalbardAndJanMayenIsland and 挪威 |
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 |
|