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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TemporalisMuscle

 Sigma KEE - StraitOfHormuz
StraitOfHormuz(霍爾木茲海峽)

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 5160-5160 連接的 霍爾木茲海峽 and 阿曼灣
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3192-3192
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2988-2988
No TPTP formula. May not be expressible in strict first order. Geography.kif 5313-5313 例 霍爾木茲海峽 and SaltWaterArea
No TPTP formula. May not be expressible in strict first order. Geography.kif 5312-5312 例 霍爾木茲海峽 and 海峽

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 5154-5154 連接的 波斯灣 and 霍爾木茲海峽
No TPTP formula. May not be expressible in strict first order. Geography.kif 5314-5314 名 "Strait of Hormuz" and 霍爾木茲海峽
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55542-55542
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55541-55541
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55540-55540


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