No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3780-3780 |
Greenland is a dependent of denmark |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3781-3781 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 474-474 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 411-411 |
Greenland is a geographic subregion of northern north america |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3882-3882 |
Greenland is an instance of dependency or special sovereignty area |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 401-401 |
Greenland is an instance of land area |