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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CarmelIsrael

 Sigma KEE - CarmelIsrael
CarmelIsrael(卡梅尔以色列)

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1597-1597
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9923-9923
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10576-10576
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10577-10577
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10578-10578
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2705-2705 卡梅尔以色列 是 以色列 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1596-1596 卡梅尔以色列 是 城市 的 instance

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2706-2706 卡梅尔以色列 的名 是 "Carmel"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13290-13290
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13289-13289
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13288-13288


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