Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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
-------------------------


(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
(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 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
(externalImage VirginIslands "http://articulatesoftware.com/SUMOpictures/ geography/ Country_Maps/ V/ Virgin_Islands.png") pictureList.kif 825-825 Virgin islands is an instance of dependency or special sovereignty area

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


(names "Virgin Islands" VirginIslands) CountriesAndRegions.kif 4110-4110 Virgin islands has name "Virgin Islands"
(geographicSubregion BritishVirginIslands VirginIslands) Media.kif 2545-2545 British virgin islands is a geographic subregion of virgin islands
(geographicSubregion USVirginIslands VirginIslands) Media.kif 2548-2548 US virgin islands is a geographic subregion of virgin islands
(subCollection BritishVirginIslands VirginIslands) Media.kif 2549-2549 British virgin islands is a proper sub-collection of virgin islands
(subCollection USVirginIslands VirginIslands) Media.kif 2550-2550 US virgin islands is a proper sub-collection of virgin islands
(termFormat EnglishLanguage VirginIslands "virgin islands") domainEnglishFormat.kif 61731-61731 US virgin islands is a proper sub-collection of virgin islands
(termFormat ChineseTraditionalLanguage VirginIslands "維爾京群島") domainEnglishFormat.kif 61732-61732 US virgin islands is a proper sub-collection of virgin islands
(termFormat ChineseLanguage VirginIslands "维尔京群岛") domainEnglishFormat.kif 61733-61733 US virgin islands is a proper sub-collection of virgin islands

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


(=>
    (member ?ISLAND VirginIslands)
    (instance ?ISLAND Island))		 CountriesAndRegions.kif 1169-1171 If X is a member of virgin islands, then X is an instance of island


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners