![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| 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 |