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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - VirginIslands
VirginIslands(virgin islands)
American_Virgin_Islands, United_States_Virgin_Islands, VI, Virgin_Islands

appearance as argument number 1
-------------------------


(documentation VirginIslands EnglishLanguage "The VirginIslands is an Archipelago in the West Indies that comprises both the BritishVirginIslands, administered by the UnitedKingdom, and the USVirginIslands, administered by the UnitedStates.") CountriesAndRegions.kif 1164-1167
(externalImage VirginIslands "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ geography/ Country_Maps/ V/ Virgin_Islands.png") pictureList.kif 825-825
(geographicSubregion VirginIslands CaribbeanRegion) CountriesAndRegions.kif 465-465 Virgin islands is a geographic subregion of caribbean region
(instance VirginIslands Archipelago) CountriesAndRegions.kif 1163-1163 Virgin islands is an instance of archipelago
(instance VirginIslands DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3921-3921 Virgin islands is an instance of dependency or special sovereignty area

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


(geographicSubregion BritishVirginIslands VirginIslands) Media.kif 2568-2568 British virgin islands is a geographic subregion of virgin islands
(geographicSubregion USVirginIslands VirginIslands) Media.kif 2571-2571 USVirginIslands is a geographic subregion of virgin islands
(names "Virgin Islands" VirginIslands) CountriesAndRegions.kif 4112-4112 Virgin islands has name "Virgin Islands"
(subCollection BritishVirginIslands VirginIslands) Media.kif 2572-2572 British virgin islands is a proper sub-collection of virgin islands
(subCollection USVirginIslands VirginIslands) Media.kif 2573-2573 USVirginIslands is a proper sub-collection of virgin islands
(termFormat ChineseLanguage VirginIslands "维尔京群岛") domainEnglishFormat.kif 61638-61638
(termFormat ChineseTraditionalLanguage VirginIslands "維爾京群島") domainEnglishFormat.kif 61637-61637
(termFormat EnglishLanguage VirginIslands "virgin islands") domainEnglishFormat.kif 61636-61636

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


(=>
    (member ?ISLAND VirginIslands)
    (instance ?ISLAND Island))
CountriesAndRegions.kif 1169-1171


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