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

Formal Language: 



KB Term:  Term intersection
English Word: 

  QuadratusFemorisMuscle

Sigma KEE - QuadratusFemorisMuscle
QuadratusFemorisMuscle(quadratus femoris muscle)

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


No TPTP formula. May not be expressible in strict first order. Muscles.kif 1805-1805 The insertion point of quadratus femoris muscle is IntertrochantericCrest
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1804-1804 The origin of quadratus femoris muscle is IschialTuberosity
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1802-1802 Quadratus femoris muscle is a subclass of muscle

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


No TPTP formula. May not be expressible in strict first order. Muscles.kif 1807-1807 ennervates nerve to quadratus femoris (L4, L5, S1) and quadratus femoris muscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1806-1806 suppliesBlood inferior gluteal artery and quadratus femoris muscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1803-1803


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