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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SairanbarIraq
SairanbarIraq(sairanbar iraq)

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


(documentation SairanbarIraq EnglishLanguage "The City of Sairanbar in Iraq.") CountriesAndRegions.kif 2268-2268
(geographicSubregion SairanbarIraq Iraq) CountriesAndRegions.kif 3466-3466 Sairanbar iraq is a geographic subregion of iraq
(instance SairanbarIraq City) CountriesAndRegions.kif 2267-2267 Sairanbar iraq is an instance of city

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


(names "Sairanbar" SairanbarIraq) CountriesAndRegions.kif 3467-3467 Sairanbar iraq has name "Sairanbar"
(termFormat ChineseLanguage SairanbarIraq "sairanbar伊拉克") domainEnglishFormat.kif 50883-50883
(termFormat ChineseTraditionalLanguage SairanbarIraq "sairanbar伊拉克") domainEnglishFormat.kif 50882-50882
(termFormat EnglishLanguage SairanbarIraq "sairanbar iraq") domainEnglishFormat.kif 50881-50881


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