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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AlonMorehWestBank

 Sigma KEE - AlonMorehWestBank
AlonMorehWestBank(alon)

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1423-1423
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2524-2524 Alon 是 西方銀行 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1422-1422 例 alon and City

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2525-2525 名 "Alon Moreh" and alon
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 6978-6978
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 6977-6977
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 6976-6976


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