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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - LinzAustralia
LinzAustralia(linz australia)
more pictures...

appearance as argument number 1

(documentation LinzAustralia EnglishLanguage "The City of Linz in Australia.") CountriesAndRegions.kif 1965-1965
(externalImage LinzAustralia " 1/ 19/ Linz_Donau.jpg") pictureList.kif 5765-5765
(externalImage LinzAustralia " 7/ 70/ Map_at_linz.png") pictureList.kif 5639-5639
(externalImage LinzAustralia " 7/ 7e/ Poestlingberg_20050429.jpg") pictureList.kif 5764-5764
(externalImage LinzAustralia " a/ a9/ LentosNightBlue.jpg") pictureList.kif 5767-5767
(externalImage LinzAustralia " e/ ed/ Brucknerhaus.jpg") pictureList.kif 5766-5766
(geographicSubregion LinzAustralia Australia) CountriesAndRegions.kif 3128-3128 Linz australia is a geographic subregion of australia
(instance LinzAustralia City) CountriesAndRegions.kif 1964-1964 Linz australia is an instance of city

appearance as argument number 2

(names "Linz" LinzAustralia) CountriesAndRegions.kif 3129-3129 Linz australia has name "Linz"
(termFormat ChineseLanguage LinzAustralia "林茨澳大利亚") domainEnglishFormat.kif 34565-34565
(termFormat ChineseTraditionalLanguage LinzAustralia "林茨澳大利亞") domainEnglishFormat.kif 34564-34564
(termFormat EnglishLanguage LinzAustralia "linz australia") domainEnglishFormat.kif 34563-34563

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