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 3843-3843 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 762-762 |
|
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. |
Media.kif 2585-2585 |
斯瓦尔巴 是 SvalbardAndJanMayenIsland 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3915-3915 |
斯瓦尔巴 是 依赖或特殊主权领域 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 313-313 |
斯瓦尔巴 是 土地面积 的 instance |