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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MeaShearimIsrael

 Sigma KEE - MeaShearimIsrael
MeaShearimIsrael(mea shearim 以色列)

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2035-2035
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3554-3554
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3555-3555
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3210-3210 Mea shearim 以色列 是 以色列 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2034-2034 Mea shearim 以色列 是 城市 的 instance

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3211-3211 Mea shearim 以色列 的名 是 "Mea Shearim"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36659-36659
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36658-36658
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36657-36657


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