Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - UnitedStatesMinorOutlyingIslands
UnitedStatesMinorOutlyingIslands(United states minor outlying islands)

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


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