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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RosasSpain
RosasSpain(rosas spain)

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


(documentation RosasSpain EnglishLanguage "The City of Rosas in Spain.") CountriesAndRegions.kif 2250-2250
(externalImage RosasSpain "http://upload.wikimedia.org/wikipedia/commons/ 6/ 67/ Localitzaci%C3%B3_de_Roses.png") pictureList.kif 5475-5475
(geographicSubregion RosasSpain Spain) CountriesAndRegions.kif 3446-3446 Rosas spain is a geographic subregion of spain
(instance RosasSpain City) CountriesAndRegions.kif 2249-2249 Rosas spain is an instance of city

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


(names "Rosas" RosasSpain) CountriesAndRegions.kif 3447-3447 Rosas spain has name "Rosas"
(termFormat ChineseLanguage RosasSpain "罗萨斯西班牙") domainEnglishFormat.kif 50502-50502 Rosas spain has name "Rosas"
(termFormat ChineseTraditionalLanguage RosasSpain "羅薩斯西班牙") domainEnglishFormat.kif 50501-50501 Rosas spain has name "Rosas"
(termFormat EnglishLanguage RosasSpain "rosas spain") domainEnglishFormat.kif 50500-50500 Rosas spain has name "Rosas"


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