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

Formal Language: 



KB Term:  Term intersection
English Word: 

  EilatIsrael

 Sigma KEE - EilatIsrael
EilatIsrael(埃拉特以色列)

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1697-1697
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3477-3477
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3480-3480
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3478-3478
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3319-3319
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2817-2817 埃拉特以色列 是 以色列 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1696-1696 例 埃拉特以色列 and City

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2818-2818 名 "Eilat" and 埃拉特以色列
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21360-21360
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21359-21359
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21358-21358


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