Oceania
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 637-637 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3554-3554 | Oceania is an instance of continent |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 106-106 | Oceania is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 284-284 | Oceania is southwest to north america |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3558-3558 | Oceania and eastern hemisphere overlapsSpatially |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3556-3556 | Oceania and northern hemisphere overlapsSpatially |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3557-3557 | Oceania and southern hemisphere overlapsSpatially |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3559-3559 | Oceania and western hemisphere overlapsSpatially |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 659-659 | American samoa is a geographic subregion of oceania |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 660-660 | Australia is a geographic subregion of oceania |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 663-663 | Baker island is a geographic subregion of oceania |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 664-664 | Cook islands is a geographic subregion of oceania |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 665-665 | Coral sea islands is a geographic subregion of oceania |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 666-666 | Fiji is a geographic subregion of oceania |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 668-668 | French polynesia is a geographic subregion of oceania |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 669-669 | Guam is a geographic subregion of oceania |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 670-670 | Howland island is a geographic subregion of oceania |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 671-671 | Jarvis island is a geographic subregion of oceania |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 672-672 | Johnston atoll is a geographic subregion of oceania |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 673-673 | Kingman reef is a geographic subregion of oceania |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 674-674 | Kiribati is a geographic subregion of oceania |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 676-676 | Marshall islands is a geographic subregion of oceania |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 678-678 | Micronesia is a geographic subregion of oceania |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 680-680 | Midway islands is a geographic subregion of oceania |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 681-681 | Nauru is a geographic subregion of oceania |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 683-683 | New caledonia is a geographic subregion of oceania |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 684-684 | New zealand is a geographic subregion of oceania |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 686-686 | Niue is a geographic subregion of oceania |
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 688-688 | Northern mariana islands is a geographic subregion of oceania |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 689-689 | Palau is a geographic subregion of oceania |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 691-691 | Palmyra atoll is a geographic subregion of oceania |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 692-692 | Pitcairn islands is a geographic subregion of oceania |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3504-3513 | An entity is an instance of continent if and only if africa is equal to the entity or north america is equal to the entity or south america is equal to the entity or antarctica is equal to the entity or europe is equal to the entity or asia is equal to the entity or oceania is equal to the entity |