No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3825-3825 |
Norfolk island is a dependent of australia |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3826-3826 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 629-629 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 687-687 |
Norfolk island is a geographic subregion of oceania |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3905-3905 |
Norfolk island is an instance of dependency or special sovereignty area |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 651-651 |
Norfolk island is an instance of land area |