| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2611-2614 | |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2609-2609 | United states minor outlying islands is an instance of collection |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2610-2610 | 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 2620-2620 | Baker island is a member of United states minor outlying islands |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2621-2621 | Howland island is a member of United states minor outlying islands |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2622-2622 | Jarvis island is a member of United states minor outlying islands |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2627-2627 | Johnston 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 | Kingman reef is a member of United states minor outlying islands |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2628-2628 | Midway islands is a member of United states minor outlying islands |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2624-2624 | Navassa island is a member of United states minor outlying islands |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2626-2626 | Palmyra atoll is a member of United states minor outlying islands |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2625-2625 | Wake island is a member of United states minor outlying islands |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65688-65688 | Wake island is a member of United states minor outlying islands |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2885-2885 | "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 2616-2618 |
|
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners