LandArea(land area) |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 542-542 | Hong kong is an instance of land area |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 644-644 | Howland island is an instance of land area |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 346-346 | Isle of man is an instance of land 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 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 645-645 | Jarvis island is an instance of land area |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 345-345 | Jersey is an instance of land area |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 646-646 | Johnston atoll is an instance of land area |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 647-647 | Kingman reef is an instance of land area |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 543-543 | Macau is an instance of land area |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 421-421 | Martinique is an instance of land area |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 648-648 | Midway islands is an instance of land area |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 422-422 | Montserrat is an instance of land area |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 423-423 | Navassa island is an instance of land area |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 424-424 | Netherlands antilles is an instance of land area |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 649-649 | New caledonia is an instance of land area |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 650-650 | Niue is an instance of land area |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 651-651 | Norfolk island is an instance of land area |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 652-652 | Northern mariana islands is an instance of land area |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2571-2571 | Palestinian territories is an instance of land area |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 653-653 | Palmyra atoll is an instance of land area |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 595-595 | Paracel islands is an instance of land area |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 654-654 | Pitcairn islands is an instance of land area |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 232-232 | Saint helena is an instance of land area |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 402-402 | Saint pierre and miquelon is an instance of land area |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 493-493 | South georgia and the south sandwich islands is an instance of land area |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |