Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
SanMarino(san marino)
|  | Republic_of_San_Marino, San_Marino |
| appearance as argument number 1 |
|
|
| (geographicSubregion SanMarino SouthernEurope) | CountriesAndRegions.kif 339-339 | San marino is a geographic subregion of southern europe |
| (instance SanMarino EuropeanNation) | CountriesAndRegions.kif 340-340 | San marino is an instance of european nation |
| (documentation SanMarino EnglishLanguage "The Nation of SanMarino.") | CountriesAndRegions.kif 1338-1338 | San marino is an instance of european nation |
| (economyType SanMarino DevelopedCountry) | Economy.kif 173-173 | Developed country is an economy type of san marino |
| (externalImage SanMarino "http://articulatesoftware.com/SUMOpictures/geography/ Country_Maps/ S/ San_Marino.png") | pictureList.kif 712-712 | Developed country is an economy type of san marino |
| appearance as argument number 2 |
|
|
| (names "San Marino" SanMarino) | CountriesAndRegions.kif 4048-4048 | San marino has name "San Marino" |
| (located SanMarinoAirport SanMarino) | WorldAirports.kif 27243-27243 | San Marino Airport is located at san marino |
| (termFormat EnglishLanguage SanMarino "san marino") | domainEnglishFormat.kif 51142-51142 | San Marino Airport is located at san marino |
| (termFormat ChineseTraditionalLanguage SanMarino "聖馬力諾") | domainEnglishFormat.kif 51143-51143 | San Marino Airport is located at san marino |
| (termFormat ChineseLanguage SanMarino "圣马力诺") | domainEnglishFormat.kif 51144-51144 | San Marino Airport is located at san marino |
| appearance as argument number 3 |
|
|
| (codeMapping ISO_3166_1_alpha_2 "SM" SanMarino) | Media.kif 2750-2750 | "SM" in ISO_3166_1_alpha_2 denotes san marino |
|