|
|
  MidwayIslands
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3813-3813 | dependentGeopoliticalArea MidwayIslands and UnitedStates |
| 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 | geographicSubregion MidwayIslands and Oceania |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3899-3899 | MidwayIslands e' uma instancia de DependencyOrSpecialSovereigntyArea |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 648-648 | MidwayIslands e' uma instancia de Area terrestre |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2626-2626 | MidwayIslands e' membro de UnitedStatesMinorOutlyingIslands |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4211-4211 | MidwayIslands se chama nome "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 |
|
|
|
