No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 693-693 |
geographicSubregion Samoa and Oceania |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 695-695 |
geographicSubregion SolomonIslands and Oceania |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 697-697 |
geographicSubregion Tokelau and Oceania |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 698-698 |
geographicSubregion Tonga and Oceania |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 700-700 |
geographicSubregion Tuvalu and Oceania |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 702-702 |
geographicSubregion Vanuatu and Oceania |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 704-704 |
geographicSubregion WakeIsland and Oceania |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 705-705 |
geographicSubregion WallisAndFutuna and Oceania |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 137-137 |
Oceania s'appele nom "Oceania" |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 281-281 |
Asia est Northwest � Oceania |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 662-662 |
Australia est une partie de Oceania |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41632-41632 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41631-41631 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41630-41630 |
|