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 2597-2600
(instance UnitedStatesMinorOutlyingIslands Collection) Media.kif 2595-2595
(instance UnitedStatesMinorOutlyingIslands GeopoliticalArea) Media.kif 2596-2596

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


(member BakerIsland UnitedStatesMinorOutlyingIslands) Media.kif 2606-2606
(member HowlandIsland UnitedStatesMinorOutlyingIslands) Media.kif 2607-2607
(member JarvisIsland UnitedStatesMinorOutlyingIslands) Media.kif 2608-2608
(member JohnstonAtoll UnitedStatesMinorOutlyingIslands) Media.kif 2613-2613
(member KingmanReef UnitedStatesMinorOutlyingIslands) Media.kif 2609-2609
(member MidwayIslands UnitedStatesMinorOutlyingIslands) Media.kif 2614-2614
(member NavassaIsland UnitedStatesMinorOutlyingIslands) Media.kif 2610-2610
(member PalmyraAtoll UnitedStatesMinorOutlyingIslands) Media.kif 2612-2612
(member WakeIsland UnitedStatesMinorOutlyingIslands) Media.kif 2611-2611

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


(codeMapping ISO-3166-1-alpha-2 "UM" UnitedStatesMinorOutlyingIslands) Media.kif 2871-2871

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


(=>
    (member ?AREA UnitedStatesMinorOutlyingIslands)
    (dependentGeopoliticalArea ?AREA UnitedStates))
Media.kif 2602-2604


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