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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - HolySee

appearance as argument number 1

(documentation HolySee EnglishLanguage "The Nation of HolySee.") CountriesAndRegions.kif 1254-1254
(economyType HolySee DevelopedCountry) Economy.kif 158-158 economyType HolySee and DevelopedCountry
(externalImage HolySee " 00/ Flag_of_the_Vatican_City.svg") pictureList.kif 3534-3534
(externalImage HolySee " 9f/ Holysee-arms.svg") pictureList.kif 3336-3336
(geographicSubregion HolySee SouthernEurope) CountriesAndRegions.kif 333-333 geographicSubregion HolySee and SouthernEurope
(instance HolySee EuropeanNation) CountriesAndRegions.kif 334-334 HolySee est une instance de EuropeanNation

appearance as argument number 2

(names "Holy See" HolySee) CountriesAndRegions.kif 4045-4045 HolySee s'appele nom "Holy See"
(termFormat ChineseLanguage HolySee "教廷") domainEnglishFormat.kif 28425-28425
(termFormat ChineseTraditionalLanguage HolySee "教廷") domainEnglishFormat.kif 28424-28424
(termFormat EnglishLanguage HolySee "holy see") domainEnglishFormat.kif 28423-28423

appearance as argument number 3

(codeMapping ISO-3166-1-alpha-2 "VA" HolySee) Media.kif 2774-2774 codeMapping ISO-3166-1-alpha-2, "VA" and HolySee

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