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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Vanuatu

 Sigma KEE - AshdodIsrael
AshdodIsrael(阿什多德以色列)

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1457-1457
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3293-3293
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3391-3391
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3393-3393
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3392-3392
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2558-2558 阿什多德以色列 是 以色列 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1456-1456 例 阿什多德以色列 and City

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2559-2559 名 "Ashdod" and 阿什多德以色列
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8640-8640
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8639-8639
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8638-8638


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