WakeIsland |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3853-3853 | dependentGeopoliticalArea WakeIsland and UnitedStates |
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 | geographicSubregion WakeIsland and Oceania |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3920-3920 | WakeIsland est une instance de DependencyOrSpecialSovereigntyArea |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 656-656 | WakeIsland est une instance de zone de terre |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2623-2623 | WakeIsland est un membre de UnitedStatesMinorOutlyingIslands |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4229-4229 | WakeIsland s'appele nom "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 |