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 e' uma instancia de DependencyOrSpecialSovereigntyArea |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 656-656 | WakeIsland e' uma instancia de Area terrestre |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2623-2623 | WakeIsland e' membro de UnitedStatesMinorOutlyingIslands |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4229-4229 | WakeIsland se chama nome "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 |