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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ViennaAustria
ViennaAustria(vienna austria)
Austrian_capital, Vienna, capital_of_Austria

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


(documentation ViennaAustria EnglishLanguage "The City of Vienna in Austria.") CountriesAndRegions.kif 2426-2426
(externalImage ViennaAustria "http://upload.wikimedia.org/wikipedia/commons/ thumb/ c/ c4/ Austria_wien.svg/ 200px-Austria_wien.svg.png") pictureList.kif 1320-1320
(geographicSubregion ViennaAustria Austria) CountriesAndRegions.kif 3645-3645 Vienna austria is a geographic subregion of austria
(instance ViennaAustria City) CountriesAndRegions.kif 2425-2425 Vienna austria is an instance of city

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


(names "Vienna" ViennaAustria) CountriesAndRegions.kif 3646-3646 Vienna austria has name "Vienna"
(termFormat ChineseLanguage ViennaAustria "维也纳,奥地利") domainEnglishFormat.kif 61688-61688 Vienna austria has name "Vienna"
(termFormat ChineseTraditionalLanguage ViennaAustria "維也納,奧地利") domainEnglishFormat.kif 61687-61687 Vienna austria has name "Vienna"
(termFormat EnglishLanguage ViennaAustria "vienna austria") domainEnglishFormat.kif 61686-61686 Vienna austria has name "Vienna"


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