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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - UnitedStatesMinorOutlyingIslands
UnitedStatesMinorOutlyingIslands

appearance as argument number 1
-------------------------


(documentation UnitedStatesMinorOutlyingIslands EnglishLanguage "This Collection is a statistical convenience introduced in 1986, and designated by ISO-3166-1-alpha-2 code UM.") Media.kif 2579-2582
(instance UnitedStatesMinorOutlyingIslands Collection) Media.kif 2577-2577 UnitedStatesMinorOutlyingIslands is an instance of collection
(instance UnitedStatesMinorOutlyingIslands GeopoliticalArea) Media.kif 2578-2578 UnitedStatesMinorOutlyingIslands is an instance of geopolitical area

appearance as argument number 2
-------------------------


(member BakerIsland UnitedStatesMinorOutlyingIslands) Media.kif 2588-2588 Baker island is a member of UnitedStatesMinorOutlyingIslands
(member HowlandIsland UnitedStatesMinorOutlyingIslands) Media.kif 2589-2589 Howland island is a member of UnitedStatesMinorOutlyingIslands
(member JarvisIsland UnitedStatesMinorOutlyingIslands) Media.kif 2590-2590 Jarvis island is a member of UnitedStatesMinorOutlyingIslands
(member JohnstonAtoll UnitedStatesMinorOutlyingIslands) Media.kif 2595-2595 Johnston atoll is a member of UnitedStatesMinorOutlyingIslands
(member KingmanReef UnitedStatesMinorOutlyingIslands) Media.kif 2591-2591 Kingman reef is a member of UnitedStatesMinorOutlyingIslands
(member MidwayIslands UnitedStatesMinorOutlyingIslands) Media.kif 2596-2596 Midway islands is a member of UnitedStatesMinorOutlyingIslands
(member NavassaIsland UnitedStatesMinorOutlyingIslands) Media.kif 2592-2592 Navassa island is a member of UnitedStatesMinorOutlyingIslands
(member PalmyraAtoll UnitedStatesMinorOutlyingIslands) Media.kif 2594-2594 Palmyra atoll is a member of UnitedStatesMinorOutlyingIslands
(member WakeIsland UnitedStatesMinorOutlyingIslands) Media.kif 2593-2593 Wake island is a member of UnitedStatesMinorOutlyingIslands

appearance as argument number 3
-------------------------


(codeMapping ISO-3166-1-alpha-2 "UM" UnitedStatesMinorOutlyingIslands) Media.kif 2853-2853 "UM" in ISO-3166-1-alpha-2 denotes UnitedStatesMinorOutlyingIslands

antecedent
-------------------------


(=>
    (member ?AREA UnitedStatesMinorOutlyingIslands)
    (dependentGeopoliticalArea ?AREA UnitedStates))
Media.kif 2584-2586


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners