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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - JohannesburgSouthAfrica
JohannesburgSouthAfrica

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
(instance JohannesburgSouthAfrica City) CountriesAndRegions.kif 1844-1844

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


(names "Johannesburg" JohannesburgSouthAfrica) CountriesAndRegions.kif 3000-3000
(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