No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3795-3795 |
Jan mayen island is a dependent of norway |
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 island is a geographic subregion of northern europe |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 2586-2586 |
Jan mayen island is a geographic subregion of Svalbard and Jan Mayen island |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3890-3890 |
Jan mayen island is an instance of dependency or special sovereignty area |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 312-312 |
Jan mayen island is an instance of land area |