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

Formal Language: 



KB Term:  Term intersection
English Word: 

  NahalOzGazaStrip

 Sigma KEE - NahalOzGazaStrip
NahalOzGazaStrip(nahal oz gaza strip)

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2093-2093
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3278-3278 Nahal oz gaza strip is a geographic subregion of gaza strip
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2092-2092 Nahal oz gaza strip is an instance of city

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3279-3279 Nahal oz gaza strip has name "Nahal Oz"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39591-39591
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39590-39590
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39589-39589


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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