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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PronatorTeresMuscle

Sigma KEE - PronatorTeresMuscle
PronatorTeresMuscle

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


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 1388-1388
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1382-1382 muscleInsertion PronatorTeresMuscle and PronatorTuberosityOfRadius
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1381-1381 muscleOrigin PronatorTeresMuscle and MedialEpicondyleOfMumerus
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1379-1379 PronatorTeresMuscle e' uma sub-classe de Musculo

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


No TPTP formula. May not be expressible in strict first order. Muscles.kif 1385-1385 ennervates MedianNerve and PronatorTeresMuscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1384-1384 suppliesBlood RadialArtery and PronatorTeresMuscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1383-1383 suppliesBlood UlnarArtery and PronatorTeresMuscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1380-1380


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