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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - JohannesburgSouthAfrica
JohannesburgSouthAfrica(johannesburg south africa)Johannesburg

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


(documentation JohannesburgSouthAfrica EnglishLanguage "The City of Johannesburg in SouthAfrica.") CountriesAndRegions.kif 1845-1845
(geographicSubregion JohannesburgSouthAfrica SouthAfrica) CountriesAndRegions.kif 2999-2999 Johannesburg south africa is a geographic subregion of south africa
(instance JohannesburgSouthAfrica City) CountriesAndRegions.kif 1844-1844 Johannesburg south africa is an instance of city

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


(names "Johannesburg" JohannesburgSouthAfrica) CountriesAndRegions.kif 3000-3000 Johannesburg south africa has name "Johannesburg"
(termFormat ChineseLanguage JohannesburgSouthAfrica "约翰内斯堡南非") domainEnglishFormat.kif 31680-31680 Johannesburg south africa has name "Johannesburg"
(termFormat ChineseTraditionalLanguage JohannesburgSouthAfrica "約翰內斯堡南非") domainEnglishFormat.kif 31679-31679 Johannesburg south africa has name "Johannesburg"
(termFormat EnglishLanguage JohannesburgSouthAfrica "johannesburg south africa") domainEnglishFormat.kif 31678-31678 Johannesburg south africa has name "Johannesburg"


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