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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PalmarInterosseiMuscle

Sigma KEE - PalmarInterosseiMuscle
PalmarInterosseiMuscle

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


No TPTP formula. May not be expressible in strict first order. Muscles.kif 1654-1654 antagonistMuscles PalmarInterosseiMuscle and DorsalInterosseiMuscle
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 muscleInsertion PalmarInterosseiMuscle and ProximalPhalanges
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1658-1658 muscleOrigin PalmarInterosseiMuscle and Metacarpals
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1656-1656 PalmarInterosseiMuscle肌肉subclass

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


No TPTP formula. May not be expressible in strict first order. Muscles.kif 1663-1663 antagonistMuscles FingerDorsalInterosseiMuscle and PalmarInterosseiMuscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1661-1661 ennervates DeepBranchOfUlnarNerve and PalmarInterosseiMuscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1660-1660 suppliesBlood PalmarMetacarpalArtery and PalmarInterosseiMuscle
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