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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - CaymanIslands

appearance as argument number 1

(currencyType CaymanIslands CaymanIslandsDollar) Economy.kif 3060-3060 currencyType CaymanIslands and CaymanIslandsDollar
(dependentGeopoliticalArea CaymanIslands UnitedKingdom) CountriesAndRegions.kif 3749-3749 dependentGeopoliticalArea CaymanIslands and UnitedKingdom
(documentation CaymanIslands EnglishLanguage "A dependency of the UnitedKingdom") CountriesAndRegions.kif 3750-3750
(externalImage CaymanIslands " pictures/ geography/ Country_Maps/ C/ Cayman_Islands.png") pictureList.kif 330-330
(geographicSubregion CaymanIslands CaribbeanRegion) CountriesAndRegions.kif 436-436 geographicSubregion CaymanIslands and CaribbeanRegion
(instance CaymanIslands DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3870-3870 instance CaymanIslands and DependencyOrSpecialSovereigntyArea
(instance CaymanIslands LandArea) CountriesAndRegions.kif 419-419 instance CaymanIslands and LandArea

appearance as argument number 2

(names "Cayman Islands" CaymanIslands) CountriesAndRegions.kif 4094-4094 names "Cayman Islands" and CaymanIslands
(termFormat ChineseLanguage CaymanIslands "开曼群岛") domainEnglishFormat.kif 13519-13519
(termFormat ChineseTraditionalLanguage CaymanIslands "開曼群島") domainEnglishFormat.kif 13518-13518
(termFormat EnglishLanguage CaymanIslands "cayman islands") domainEnglishFormat.kif 13517-13517

appearance as argument number 3

(codeMapping ISO-3166-1-alpha-2 "KY" CaymanIslands) Media.kif 2818-2818 codeMapping ISO-3166-1-alpha-2, "KY" and CaymanIslands

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners