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

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


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

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


(codeMapping ISO-3166-1-alpha-2 "UM" UnitedStatesMinorOutlyingIslands) Media.kif 2853-2853 codeMapping ISO-3166-1-alpha-2, "UM" and 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