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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AtrushIraq
AtrushIraq(atrush iraq)

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


(documentation AtrushIraq EnglishLanguage "The City of Atrush in Iraq.") CountriesAndRegions.kif 1471-1471
(geographicSubregion AtrushIraq Iraq) CountriesAndRegions.kif 2572-2572 Atrush iraq is a geographic subregion of iraq
(instance AtrushIraq City) CountriesAndRegions.kif 1470-1470 Atrush iraq is an instance of city

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


(names "Atrush" AtrushIraq) CountriesAndRegions.kif 2573-2573 Atrush iraq has name "Atrush"
(termFormat ChineseLanguage AtrushIraq "atrush 伊拉克") domainEnglishFormat.kif 8964-8964
(termFormat ChineseTraditionalLanguage AtrushIraq "atrush 伊拉克") domainEnglishFormat.kif 8963-8963
(termFormat EnglishLanguage AtrushIraq "atrush iraq") domainEnglishFormat.kif 8962-8962


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