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


KB Term:  Term intersection
English Word: 

Sigma KEE - HolySee
HolySee(holy see)
Holy_See, State_of_the_Vatican_City, The_Holy_See

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


(geographicSubregion HolySee SouthernEurope) CountriesAndRegions.kif 333-333 Holy see is a geographic subregion of southern europe
(instance HolySee EuropeanNation) CountriesAndRegions.kif 334-334 Holy see is an instance of european nation
(documentation HolySee EnglishLanguage "The Nation of HolySee.") CountriesAndRegions.kif 1254-1254 Holy see is an instance of european nation
(economyType HolySee DevelopedCountry) Economy.kif 158-158 Developed country is an economy type of holy see
(externalImage HolySee "http://upload.wikimedia.org/wikipedia/commons/9/ 9f/ Holysee_arms.svg") pictureList.kif 3335-3335 Developed country is an economy type of holy see
(externalImage HolySee "http://upload.wikimedia.org/wikipedia/commons/0/ 00/ Flag_of_the_Vatican_City.svg") pictureList.kif 3533-3533 Developed country is an economy type of holy see

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


(names "Holy See" HolySee) CountriesAndRegions.kif 4045-4045 Holy see has name "Holy See"
(termFormat EnglishLanguage HolySee "holy see") domainEnglishFormat.kif 28421-28421 Holy see has name "Holy See"
(termFormat ChineseTraditionalLanguage HolySee "教廷") domainEnglishFormat.kif 28422-28422 Holy see has name "Holy See"
(termFormat ChineseLanguage HolySee "教廷") domainEnglishFormat.kif 28423-28423 Holy see has name "Holy See"

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


(codeMapping ISO_3166_1_alpha_2 "VA" HolySee) Media.kif 2721-2721 "VA" in ISO_3166_1_alpha_2 denotes holy see


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