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 3796-3796 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4896-4896 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5014-5014 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5015-5015 |
|
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. |
Media.kif 2586-2586 |
Jan mayen 岛 是 SvalbardAndJanMayenIsland 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3890-3890 |
Jan mayen 岛 是 依赖或特殊主权领域 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 312-312 |
Jan mayen 岛 是 土地面积 的 instance |