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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - LinzAustralia
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
(instance LinzAustralia City) CountriesAndRegions.kif 1964-1964

appearance as argument number 2

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

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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