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

Formal Language: 



KB Term:  Term intersection
English Word: 

  HamraWestBank

Sigma KEE - HamraWestBank
HamraWestBank

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1775-1775
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2903-2903 geographicSubregion HamraWestBank and WestBank
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1774-1774 HamraWestBank e' uma instancia de Cidade

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2904-2904 HamraWestBank se chama nome "Hamra"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27300-27300
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27299-27299
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27298-27298


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