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
(instance UnitedStatesMinorOutlyingIslands GeopoliticalArea) Media.kif 2578-2578

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


(member BakerIsland UnitedStatesMinorOutlyingIslands) Media.kif 2588-2588
(member HowlandIsland UnitedStatesMinorOutlyingIslands) Media.kif 2589-2589
(member JarvisIsland UnitedStatesMinorOutlyingIslands) Media.kif 2590-2590
(member JohnstonAtoll UnitedStatesMinorOutlyingIslands) Media.kif 2595-2595
(member KingmanReef UnitedStatesMinorOutlyingIslands) Media.kif 2591-2591
(member MidwayIslands UnitedStatesMinorOutlyingIslands) Media.kif 2596-2596
(member NavassaIsland UnitedStatesMinorOutlyingIslands) Media.kif 2592-2592
(member PalmyraAtoll UnitedStatesMinorOutlyingIslands) Media.kif 2594-2594
(member WakeIsland UnitedStatesMinorOutlyingIslands) Media.kif 2593-2593

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


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

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