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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BethElIsrael

 Sigma KEE - BethElIsrael
BethElIsrael

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 geographicSubregion BethElIsrael and Israel
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1544-1544 BethElIsrael e' uma instancia de Cidade

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2648-2648 BethElIsrael se chama nome "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