WakeIsland(wake island) | Wake, Wake_Island |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3853-3853 | Wake island is a dependent of united states |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3854-3854 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 830-830 | |
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 3920-3920 | Wake island is an instance of dependency or special sovereignty area |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 656-656 | Wake island is an instance of land area |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2623-2623 | Wake island is a member of United states minor outlying islands |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4229-4229 | Wake island has name "Wake Island" |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62081-62081 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62080-62080 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62079-62079 |