|
|
  MidwayIslands
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3813-3813 | Midway islands is a dependent of united states |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3814-3814 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 595-595 | |
| 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 3899-3899 | Midway islands is an instance of dependency or special sovereignty area |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 648-648 | Midway islands is an instance of land area |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2626-2626 | Midway islands 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 4211-4211 | Midway islands has name "Midway Islands" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 37493-37493 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 37492-37492 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 37491-37491 |
|
|
|
