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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SanMarino
SanMarino

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


(documentation SanMarino EnglishLanguage "The Nation of SanMarino.") CountriesAndRegions.kif 1338-1338
(economyType SanMarino DevelopedCountry) Economy.kif 173-173 economyType SanMarino and DevelopedCountry
(externalImage SanMarino "http://articulatesoftware.com/SUMOpictures/geography/ Country_Maps/ S/ San_Marino.png") pictureList.kif 712-712
(geographicSubregion SanMarino SouthernEurope) CountriesAndRegions.kif 339-339 geographicSubregion SanMarino and SouthernEurope
(instance SanMarino EuropeanNation) CountriesAndRegions.kif 340-340 SanMarinoEuropeanNationinstance では %n

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


(names "San Marino" SanMarino) CountriesAndRegions.kif 4048-4048 SanMarino は "San Marino" の name を 持って %n{ない}
(termFormat ChineseLanguage SanMarino "圣马力诺") domainEnglishFormat.kif 51147-51147
(termFormat ChineseTraditionalLanguage SanMarino "聖馬力諾") domainEnglishFormat.kif 51146-51146
(termFormat EnglishLanguage SanMarino "san marino") domainEnglishFormat.kif 51145-51145

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


(codeMapping ISO-3166-1-alpha-2 "SM" SanMarino) Media.kif 2803-2803 codeMapping ISO-3166-1-alpha-2, "SM" and SanMarino


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