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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BetLeHiyehGazaStrip
BetLeHiyehGazaStrip

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


(documentation BetLeHiyehGazaStrip EnglishLanguage "The City of BetLeHiyeh in GazaStrip.") CountriesAndRegions.kif 1543-1543
(geographicSubregion BetLeHiyehGazaStrip GazaStrip) CountriesAndRegions.kif 2642-2642
(instance BetLeHiyehGazaStrip City) CountriesAndRegions.kif 1542-1542

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


(names "Bet LeHiyeh" BetLeHiyehGazaStrip) CountriesAndRegions.kif 2643-2643
(termFormat ChineseLanguage BetLeHiyehGazaStrip "bet le hiyeh 加沙地带") domainEnglishFormat.kif 10889-10889
(termFormat ChineseTraditionalLanguage BetLeHiyehGazaStrip "bet le hiyeh 加沙地帶") domainEnglishFormat.kif 10888-10888
(termFormat EnglishLanguage BetLeHiyehGazaStrip "bet le hiyeh gaza strip") domainEnglishFormat.kif 10887-10887


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