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 2611-2614
(instance UnitedStatesMinorOutlyingIslands Collection) Media.kif 2609-2609 United states minor outlying islands is an instance of collection
(instance UnitedStatesMinorOutlyingIslands GeopoliticalArea) Media.kif 2610-2610 United states minor outlying islands is an instance of geopolitical area

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


(member BakerIsland UnitedStatesMinorOutlyingIslands) Media.kif 2620-2620 Baker island is a member of United states minor outlying islands
(member HowlandIsland UnitedStatesMinorOutlyingIslands) Media.kif 2621-2621 Howland island is a member of United states minor outlying islands
(member JarvisIsland UnitedStatesMinorOutlyingIslands) Media.kif 2622-2622 Jarvis island is a member of United states minor outlying islands
(member JohnstonAtoll UnitedStatesMinorOutlyingIslands) Media.kif 2627-2627 Johnston atoll is a member of United states minor outlying islands
(member KingmanReef UnitedStatesMinorOutlyingIslands) Media.kif 2623-2623 Kingman reef is a member of United states minor outlying islands
(member MidwayIslands UnitedStatesMinorOutlyingIslands) Media.kif 2628-2628 Midway islands is a member of United states minor outlying islands
(member NavassaIsland UnitedStatesMinorOutlyingIslands) Media.kif 2624-2624 Navassa island is a member of United states minor outlying islands
(member PalmyraAtoll UnitedStatesMinorOutlyingIslands) Media.kif 2626-2626 Palmyra atoll is a member of United states minor outlying islands
(member WakeIsland UnitedStatesMinorOutlyingIslands) Media.kif 2625-2625 Wake island is a member of United states minor outlying islands
(termFormat EnglishLanguage UnitedStatesMinorOutlyingIslands "United states minor outlying islands") domainEnglishFormat.kif 65688-65688 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 2885-2885 "UM" in ISO_3166_1_alpha_2 denotes United states minor outlying islands

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


(=>
    (member ?AREA UnitedStatesMinorOutlyingIslands)
    (dependentGeopoliticalArea ?AREA UnitedStates))		 Media.kif 2616-2618


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