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 31651-31651
(termFormat ChineseTraditionalLanguage JohannesburgSouthAfrica "約翰內斯堡南非") domainEnglishFormat.kif 31650-31650
(termFormat EnglishLanguage JohannesburgSouthAfrica "johannesburg south africa") domainEnglishFormat.kif 31649-31649


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