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 2609-2612
(instance UnitedStatesMinorOutlyingIslands Collection) Media.kif 2607-2607 UnitedStatesMinorOutlyingIslands 是 群体 的 instance
(instance UnitedStatesMinorOutlyingIslands GeopoliticalArea) Media.kif 2608-2608 UnitedStatesMinorOutlyingIslands 是 地缘政治区域 的 instance

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


(member BakerIsland UnitedStatesMinorOutlyingIslands) Media.kif 2618-2618 贝克岛 是 UnitedStatesMinorOutlyingIslands 的 member
(member HowlandIsland UnitedStatesMinorOutlyingIslands) Media.kif 2619-2619 Howland岛 是 UnitedStatesMinorOutlyingIslands 的 member
(member JarvisIsland UnitedStatesMinorOutlyingIslands) Media.kif 2620-2620 贾维斯岛 是 UnitedStatesMinorOutlyingIslands 的 member
(member JohnstonAtoll UnitedStatesMinorOutlyingIslands) Media.kif 2625-2625 约翰斯顿环礁 是 UnitedStatesMinorOutlyingIslands 的 member
(member KingmanReef UnitedStatesMinorOutlyingIslands) Media.kif 2621-2621 金曼礁 是 UnitedStatesMinorOutlyingIslands 的 member
(member MidwayIslands UnitedStatesMinorOutlyingIslands) Media.kif 2626-2626 中途岛屿 是 UnitedStatesMinorOutlyingIslands 的 member
(member NavassaIsland UnitedStatesMinorOutlyingIslands) Media.kif 2622-2622 纳瓦萨岛 是 UnitedStatesMinorOutlyingIslands 的 member
(member PalmyraAtoll UnitedStatesMinorOutlyingIslands) Media.kif 2624-2624 巴尔米拉环礁 是 UnitedStatesMinorOutlyingIslands 的 member
(member WakeIsland UnitedStatesMinorOutlyingIslands) Media.kif 2623-2623 苏醒岛 是 UnitedStatesMinorOutlyingIslands 的 member
(termFormat EnglishLanguage UnitedStatesMinorOutlyingIslands "United states minor outlying islands") domainEnglishFormat.kif 65665-65665

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


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

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