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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SupinatorMuscle

Sigma KEE - SupinatorMuscle
SupinatorMuscle

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


No TPTP formula. May not be expressible in strict first order. Muscles.kif 1438-1438 antagonistMuscles SupinatorMuscle and PronatorQuadratusMuscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1525-1525
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1520-1520 muscleInsertion SupinatorMuscle and LateralProximalShaftOfRadius
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1519-1519 muscleOrigin SupinatorMuscle and LateralEpicondyleOfHumerusSupinatorCrestOfUlnaRadialCollateralLigamentAnnularLigament
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1517-1517 子類 SupinatorMuscle and Muscle

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


No TPTP formula. May not be expressible in strict first order. Muscles.kif 1389-1389 antagonistMuscles PronatorTeresMuscle and SupinatorMuscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1526-1526 antagonistMuscles PronatorTeresPronatorQuadratusMuscle and SupinatorMuscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1522-1522 ennervates PosteriorInterosseusNerveC7C8 and SupinatorMuscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1521-1521 suppliesBlood RadialRecurrentArtery and SupinatorMuscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1518-1518


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