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 est une instance de DependencyOrSpecialSovereigntyArea |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 648-648 | MidwayIslands est une instance de zone de terre |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2626-2626 | MidwayIslands est un membre de UnitedStatesMinorOutlyingIslands |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4211-4211 | MidwayIslands s'appele nom "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 |