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 島 and 依賴或特殊主權領域 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 312-312 |
例 jan mayen 島 and LandArea |