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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Anguilla
Anguilla(anguilla)

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


s__dependentGeopoliticalArea(s__Anguilla,s__UnitedKingdom)

CountriesAndRegions.kif 3728-3728 Anguilla is a dependent of united kingdom
s__documentation(s__Anguilla,s__EnglishLanguage,'"A dependency of the UnitedKingdom"')

CountriesAndRegions.kif 3729-3729
s__externalImage(s__Anguilla,'"http://www.adampease.org/Articulate/SUMOpictures/ pictures/ geography/ Country_Maps/ A/ Anguilla.png"')

pictureList.kif 224-224
s__geographicSubregion(s__Anguilla,s__CaribbeanRegion)

CountriesAndRegions.kif 427-427 Anguilla is a geographic subregion of caribbean region
s__instance(s__Anguilla,s__DependencyOrSpecialSovereigntyArea)

s__instance(s__DependencyOrSpecialSovereigntyArea,s__Class)

CountriesAndRegions.kif 3859-3859 Anguilla is an instance of dependency or special sovereignty area
s__instance(s__Anguilla,s__LandArea)

s__instance(s__LandArea,s__Class)

CountriesAndRegions.kif 416-416 Anguilla is an instance of land area

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


s__names('"Anguilla"',s__Anguilla)

CountriesAndRegions.kif 4085-4085 Anguilla has name "Anguilla"
s__termFormat(s__ChineseLanguage,s__Anguilla,'"安圭拉"')

domainEnglishFormat.kif 7539-7539
s__termFormat(s__ChineseTraditionalLanguage,s__Anguilla,'"安圭拉"')

domainEnglishFormat.kif 7538-7538
s__termFormat(s__EnglishLanguage,s__Anguilla,'"anguilla"')

domainEnglishFormat.kif 7537-7537

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


s__codeMapping(s__ISO_3166_1_alpha_2,'"AI"',s__Anguilla)

Media.kif 2824-2824 "AI" in ISO-3166-1-alpha-2 denotes anguilla


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