Oceania(oceania) |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 693-693 | Samoa is a geographic subregion of oceania |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 695-695 | Solomon islands is a geographic subregion of oceania |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 697-697 | Tokelau is a geographic subregion of oceania |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 698-698 | Tonga is a geographic subregion of oceania |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 700-700 | Tuvalu is a geographic subregion of oceania |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 702-702 | Vanuatu is a geographic subregion of oceania |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 704-704 | Wake island is a geographic subregion of oceania |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 705-705 | Wallis and futuna is a geographic subregion of oceania |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 137-137 | Oceania has name "Oceania" |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 281-281 | Asia is northwest to oceania |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 662-662 | Australia is a part of oceania |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 41634-41634 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 41633-41633 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 41632-41632 |