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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TemporalisMuscle

Sigma KEE - TemporalisMuscle
TemporalisMuscle

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


No TPTP formula. May not be expressible in strict first order. Muscles.kif 353-353
No TPTP formula. May not be expressible in strict first order. Muscles.kif 348-348 muscleInsertion TemporalisMuscle and CoronoidProcessOfMandible
No TPTP formula. May not be expressible in strict first order. Muscles.kif 347-347 muscleOrigin TemporalisMuscle and TemporalLinesOnParietalBoneOfSkull
No TPTP formula. May not be expressible in strict first order. Muscles.kif 345-345 子類 TemporalisMuscle and Muscle

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


No TPTP formula. May not be expressible in strict first order. Muscles.kif 354-354 antagonistMuscles PlatysmaMuscle and TemporalisMuscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 350-350 ennervates DeepTemporalNervesFromMandibularNerveCNV3 and TemporalisMuscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 349-349 suppliesBlood DeepTemporalArteries and TemporalisMuscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 346-346


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