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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RimalDistrictGazaStrip
RimalDistrictGazaStrip

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


(geographicSubregion RimalDistrictGazaStrip GazaStrip) CountriesAndRegions.kif 3436-3436
(instance RimalDistrictGazaStrip GeographicArea) CountriesAndRegions.kif 3435-3435

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


(names "Rimal district" RimalDistrictGazaStrip) CountriesAndRegions.kif 3437-3437
(termFormat ChineseLanguage RimalDistrictGazaStrip "rimal地区加沙地带") domainEnglishFormat.kif 50038-50038
(termFormat ChineseTraditionalLanguage RimalDistrictGazaStrip "rimal地區加沙地帶") domainEnglishFormat.kif 50037-50037
(termFormat EnglishLanguage RimalDistrictGazaStrip "rimal district gaza strip") domainEnglishFormat.kif 50036-50036


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