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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - NetzerHazaniGazaStrip
NetzerHazaniGazaStrip(netzer hazani gaza strip)

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


(documentation NetzerHazaniGazaStrip EnglishLanguage "The City of NetzerHazani in GazaStrip.") CountriesAndRegions.kif 2119-2119
(geographicSubregion NetzerHazaniGazaStrip GazaStrip) CountriesAndRegions.kif 3299-3299 Netzer hazani gaza strip is a geographic subregion of gaza strip
(instance NetzerHazaniGazaStrip City) CountriesAndRegions.kif 2118-2118 Netzer hazani gaza strip is an instance of city

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


(names "Netzer Hazani" NetzerHazaniGazaStrip) CountriesAndRegions.kif 3300-3300 Netzer hazani gaza strip has name "Netzer Hazani"
(termFormat ChineseLanguage NetzerHazaniGazaStrip "netzer hazani 加沙地帶") domainEnglishFormat.kif 40239-40239
(termFormat ChineseTraditionalLanguage NetzerHazaniGazaStrip "netzer hazani 加沙地帶") domainEnglishFormat.kif 40238-40238
(termFormat EnglishLanguage NetzerHazaniGazaStrip "netzer hazani gaza strip") domainEnglishFormat.kif 40237-40237


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