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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SanMarino
SanMarino(san marino)
Republic_of_San_Marino, San_Marino

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


(documentation SanMarino EnglishLanguage "The Nation of SanMarino.") CountriesAndRegions.kif 1338-1338
(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
(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

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


(names "San Marino" SanMarino) CountriesAndRegions.kif 4048-4048 San marino has name "San Marino"
(termFormat ChineseLanguage SanMarino "圣马力诺") domainEnglishFormat.kif 51187-51187 San marino has name "San Marino"
(termFormat ChineseTraditionalLanguage SanMarino "聖馬力諾") domainEnglishFormat.kif 51186-51186 San marino has name "San Marino"
(termFormat EnglishLanguage SanMarino "san marino") domainEnglishFormat.kif 51185-51185 San marino has name "San Marino"

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


(codeMapping ISO-3166-1-alpha-2 "SM" SanMarino) Media.kif 2803-2803 "SM" in ISO-3166-1-alpha-2 denotes san marino


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