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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - USVirginIslands
USVirginIslands(US virgin islands)

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


(dependentGeopoliticalArea USVirginIslands UnitedStates) CountriesAndRegions.kif 3850-3850 US virgin islands is a dependent of united states
(documentation USVirginIslands EnglishLanguage "A dependency of the UnitedStates") CountriesAndRegions.kif 3851-3851 US virgin islands is a dependent of united states
(geographicSubregion USVirginIslands VirginIslands) Media.kif 2601-2601 US virgin islands is a geographic subregion of virgin islands
(instance USVirginIslands Archipelago) Media.kif 2599-2599 US virgin islands is an instance of archipelago
(instance USVirginIslands DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3852-3852 US virgin islands is an instance of dependency or special sovereignty area
(subCollection USVirginIslands VirginIslands) Media.kif 2603-2603 US virgin islands is a proper sub-collection of virgin islands

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


(termFormat EnglishLanguage USVirginIslands "US virgin islands") domainEnglishFormat.kif 65688-65688

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


(codeMapping ISO-3166-1-alpha-2 "VI" USVirginIslands) Media.kif 2885-2885 "VI" in ISO-3166-1-alpha-2 denotes US virgin islands


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