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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PalmarInterosseiMuscle

Sigma KEE - PalmarInterosseiMuscle
PalmarInterosseiMuscle(palmar interossei muscle)

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


No TPTP formula. May not be expressible in strict first order. Muscles.kif 1654-1654 Palmar interossei muscle and dorsal interossei muscle are antagonist muscles
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1662-1662
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1659-1659 The insertion point of palmar interossei muscle is ProximalPhalanges
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1658-1658 The origin of palmar interossei muscle is Metacarpals
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1656-1656 Palmar interossei muscle is a subclass of muscle

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


No TPTP formula. May not be expressible in strict first order. Muscles.kif 1663-1663 Finger dorsal interossei muscle and palmar interossei muscle are antagonist muscles
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1661-1661 ennervates deep branch of ulnar nerve and palmar interossei muscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1660-1660 suppliesBlood PalmarMetacarpalArtery and palmar interossei muscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1657-1657


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