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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ExtensorCarpiUlnarisMuscle

Sigma KEE - ExtensorCarpiUlnarisMuscle
ExtensorCarpiUlnarisMuscle

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


No TPTP formula. May not be expressible in strict first order. Muscles.kif 1418-1418 antagonistMuscles ExtensorCarpiUlnarisMuscle and FlexorCarpiUlnarisMuscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1486-1486
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1483-1483 muscleInsertion ExtensorCarpiUlnarisMuscle and FifthMetacarpal
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1482-1482 muscleOrigin ExtensorCarpiUlnarisMuscle and LateralEpicondyleOfHumerusCommonExtensorTendonUlna
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1480-1480 ExtensorCarpiUlnarisMuscle肌肉subclass

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


No TPTP formula. May not be expressible in strict first order. Muscles.kif 1487-1487 antagonistMuscles FlexorCarpiUlnarisMuscle and ExtensorCarpiUlnarisMuscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1485-1485 ennervates PosteriorInterosseousNerveC7C8 and ExtensorCarpiUlnarisMuscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1484-1484 suppliesBlood UlnarArtery and ExtensorCarpiUlnarisMuscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1481-1481


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