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

Formal Language: 



KB Term:  Term intersection
English Word: 

  JaffaIsrael

 Sigma KEE - JaffaIsrael
JaffaIsrael(雅法以色列)

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1823-1823
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4889-4889
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5006-5006
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5005-5005
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2961-2961 雅法以色列 是 以色列 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1822-1822 雅法以色列 是 城市 的 instance

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2962-2962 雅法以色列 的名 是 "Jaffa"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31351-31351
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31350-31350
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31349-31349


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