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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ThyrohyoidMuscle

Sigma KEE - ThyrohyoidMuscle
ThyrohyoidMuscle

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


No TPTP formula. May not be expressible in strict first order. Muscles.kif 659-659
No TPTP formula. May not be expressible in strict first order. Muscles.kif 654-654 muscleInsertion ThyrohyoidMuscle and HyoidBone
No TPTP formula. May not be expressible in strict first order. Muscles.kif 653-653 muscleOrigin ThyrohyoidMuscle and ThyroidCartilage
No TPTP formula. May not be expressible in strict first order. Muscles.kif 651-651 ThyrohyoidMuscle肌肉subclass

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


No TPTP formula. May not be expressible in strict first order. Muscles.kif 656-656 ennervates C1Nerve and ThyrohyoidMuscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 655-655 suppliesBlood SuperiorThyroidArtery and ThyrohyoidMuscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 652-652


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