UnitedStatesMinorOutlyingIslands
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2609-2612 | |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2607-2607 | United states minor outlying islands is an instance of collection |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2608-2608 | United states minor outlying islands is an instance of geopolitical area |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2618-2618 | Baker island is a member of United states minor outlying islands |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2619-2619 | Howland island is a member of United states minor outlying islands |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2620-2620 | Jarvis island is a member of United states minor outlying islands |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2625-2625 | Johnston atoll is a member of United states minor outlying islands |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2621-2621 | Kingman reef is a member of United states minor outlying islands |
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 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2622-2622 | Navassa island is a member of United states minor outlying islands |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2624-2624 | Palmyra atoll is a member of United states minor outlying islands |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2623-2623 | Wake island is a member of United states minor outlying islands |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65665-65665 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2883-2883 | "UM" in ISO-3166-1-alpha-2 denotes United states minor outlying islands |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2614-2616 |
|