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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - HolySee
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 "http://upload.wikimedia.org/wikipedia/commons/0/ 00/ Flag_of_the_Vatican_City.svg") pictureList.kif 3534-3534
(externalImage HolySee "http://upload.wikimedia.org/wikipedia/commons/9/ 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 28419-28419
(termFormat ChineseTraditionalLanguage HolySee "教廷") domainEnglishFormat.kif 28418-28418
(termFormat EnglishLanguage HolySee "holy see") domainEnglishFormat.kif 28417-28417

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