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
-------------------------


(documentation UnitedStatesMinorOutlyingIslands EnglishLanguage "This Collection is a statistical convenience introduced in 1986, and designated by ISO-3166-1-alpha-2 code UM.") Media.kif 2609-2612
(instance UnitedStatesMinorOutlyingIslands Collection) Media.kif 2607-2607 United states minor outlying islands is an instance of collection
(instance UnitedStatesMinorOutlyingIslands GeopoliticalArea) Media.kif 2608-2608 United states minor outlying islands is an instance of geopolitical area

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


(member BakerIsland UnitedStatesMinorOutlyingIslands) Media.kif 2618-2618 Baker island is a member of United states minor outlying islands
(member HowlandIsland UnitedStatesMinorOutlyingIslands) Media.kif 2619-2619 Howland island is a member of United states minor outlying islands
(member JarvisIsland UnitedStatesMinorOutlyingIslands) Media.kif 2620-2620 Jarvis island is a member of United states minor outlying islands
(member JohnstonAtoll UnitedStatesMinorOutlyingIslands) Media.kif 2625-2625 Johnston atoll is a member of United states minor outlying islands
(member KingmanReef UnitedStatesMinorOutlyingIslands) Media.kif 2621-2621 Kingman reef is a member of United states minor outlying islands
(member MidwayIslands UnitedStatesMinorOutlyingIslands) Media.kif 2626-2626 Midway islands is a member of United states minor outlying islands
(member NavassaIsland UnitedStatesMinorOutlyingIslands) Media.kif 2622-2622 Navassa island is a member of United states minor outlying islands
(member PalmyraAtoll UnitedStatesMinorOutlyingIslands) Media.kif 2624-2624 Palmyra atoll is a member of United states minor outlying islands
(member WakeIsland UnitedStatesMinorOutlyingIslands) Media.kif 2623-2623 Wake island is a member of United states minor outlying islands
(termFormat EnglishLanguage UnitedStatesMinorOutlyingIslands "United states minor outlying islands") domainEnglishFormat.kif 65713-65713 Wake island is a member of United states minor outlying islands

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


(codeMapping ISO-3166-1-alpha-2 "UM" UnitedStatesMinorOutlyingIslands) Media.kif 2883-2883 "UM" in ISO-3166-1-alpha-2 denotes United states minor outlying islands

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


(=>
    (member ?AREA UnitedStatesMinorOutlyingIslands)
    (dependentGeopoliticalArea ?AREA UnitedStates))		 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