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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PeAtSadehGazaStrip

Sigma KEE - PeAtSadehGazaStrip
PeAtSadehGazaStrip

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2196-2196
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3368-3368
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3389-3389 geographicSubregion PeAtSadehGazaStrip and GazaStrip
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2195-2195 PeAtSadehGazaStrip e' uma instancia de Cidade

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3390-3390 PeAtSadehGazaStrip se chama nome "Pe'at Sadeh"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44954-44954
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44953-44953
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44952-44952


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