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

Formal Language: 



KB Term:  Term intersection
English Word: 

  VirginIslands

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://articulatesoftware.com/SUMOpictures/ 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 3919-3919 Virgin islands is an instance of dependency or special sovereignty area

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


(geographicSubregion BritishVirginIslands VirginIslands) Media.kif 2598-2598 British virgin islands is a geographic subregion of virgin islands
(geographicSubregion USVirginIslands VirginIslands) Media.kif 2601-2601 US virgin islands is a geographic subregion of virgin islands
(names "Virgin Islands" VirginIslands) CountriesAndRegions.kif 4110-4110 Virgin islands has name "Virgin Islands"
(subCollection BritishVirginIslands VirginIslands) Media.kif 2602-2602 British virgin islands is a proper sub-collection of virgin islands
(subCollection USVirginIslands VirginIslands) Media.kif 2603-2603 US virgin islands is a proper sub-collection of virgin islands
(termFormat ChineseLanguage VirginIslands "维尔京群岛") domainEnglishFormat.kif 61730-61730
(termFormat ChineseTraditionalLanguage VirginIslands "維爾京群島") domainEnglishFormat.kif 61729-61729
(termFormat EnglishLanguage VirginIslands "virgin islands") domainEnglishFormat.kif 61728-61728

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


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


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