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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - GrazAustria
GrazAustria(graz austria)
Graz

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


(documentation GrazAustria EnglishLanguage "The City of Graz in Austria.") CountriesAndRegions.kif 1755-1755
(externalImage GrazAustria "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 0/ 0f/ Map_at_graz.png/ 130px-Map_at_graz.png") pictureList.kif 1319-1319
(geographicSubregion GrazAustria Austria) CountriesAndRegions.kif 2882-2882 Graz austria is a geographic subregion of austria
(instance GrazAustria City) CountriesAndRegions.kif 1754-1754 Graz austria is an instance of city

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


(names "Graz" GrazAustria) CountriesAndRegions.kif 2883-2883 Graz austria has name "Graz"
(termFormat ChineseLanguage GrazAustria "格拉茨奥地利") domainEnglishFormat.kif 26554-26554 Graz austria has name "Graz"
(termFormat ChineseTraditionalLanguage GrazAustria "格拉茨奧地利") domainEnglishFormat.kif 26553-26553 Graz austria has name "Graz"
(termFormat EnglishLanguage GrazAustria "graz austria") domainEnglishFormat.kif 26552-26552 Graz austria has name "Graz"


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