|
|
  WakeIsland
|
|
|
| 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 62079-62079 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62078-62078 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62077-62077 |
|
|
|
