Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  UnitedStatesMinorOutlyingIslands

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

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


(member BakerIsland UnitedStatesMinorOutlyingIslands) Media.kif 2618-2618
(member HowlandIsland UnitedStatesMinorOutlyingIslands) Media.kif 2619-2619
(member JarvisIsland UnitedStatesMinorOutlyingIslands) Media.kif 2620-2620
(member JohnstonAtoll UnitedStatesMinorOutlyingIslands) Media.kif 2625-2625
(member KingmanReef UnitedStatesMinorOutlyingIslands) Media.kif 2621-2621
(member MidwayIslands UnitedStatesMinorOutlyingIslands) Media.kif 2626-2626
(member NavassaIsland UnitedStatesMinorOutlyingIslands) Media.kif 2622-2622
(member PalmyraAtoll UnitedStatesMinorOutlyingIslands) Media.kif 2624-2624
(member WakeIsland UnitedStatesMinorOutlyingIslands) Media.kif 2623-2623
(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

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


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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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