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

Formal Language: 



KB Term:  Term intersection
English Word: 

  GeniohyoidMuscle

Sigma KEE - GeniohyoidMuscle
GeniohyoidMuscle(geniohyoid muscle)

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


No TPTP formula. May not be expressible in strict first order. Muscles.kif 631-631
No TPTP formula. May not be expressible in strict first order. Muscles.kif 627-627 The insertion point of geniohyoid muscle is AnteriorSurfaceOfBodyOfHyoidBone
No TPTP formula. May not be expressible in strict first order. Muscles.kif 626-626 The origin of geniohyoid muscle is MandibularSymphysis
No TPTP formula. May not be expressible in strict first order. Muscles.kif 624-624 Geniohyoid muscle is a subclass of muscle

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


No TPTP formula. May not be expressible in strict first order. Muscles.kif 628-628 ennervates C1 via hypoglossal nerve and geniohyoid muscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 625-625


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