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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BethElIsrael

 Sigma KEE - BethElIsrael
BethElIsrael(beth el 以色列)

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1545-1545
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3308-3308
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3438-3438
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3439-3439
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2647-2647 Beth el 以色列 是 以色列 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1544-1544 例 beth el 以色列 and City

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2648-2648 名 "Beth El" and beth el 以色列
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10877-10877
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10876-10876
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10875-10875


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