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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BucharestRomania
BucharestRomania(Bucharest romania)Bucharest, Bucharesti, Bucuresti, capital_of_Romania

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


(documentation BucharestRomania EnglishLanguage "The City of Bucharest in Romania.") CountriesAndRegions.kif 1575-1575
(geographicSubregion BucharestRomania Romania) CountriesAndRegions.kif 2680-2680 Bucharest romania is a geographic subregion of romania
(instance BucharestRomania City) CountriesAndRegions.kif 1574-1574 Bucharest romania is an instance of city

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


(names "Bucharest" BucharestRomania) CountriesAndRegions.kif 2681-2681 Bucharest romania has name "Bucharest"
(termFormat EnglishLanguage BucharestRomania "Bucharest romania") domainEnglishFormat.kif 64571-64571


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