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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FlexorCarpiRadialisMuscle

Sigma KEE - FlexorCarpiRadialisMuscle
FlexorCarpiRadialisMuscle

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


No TPTP formula. May not be expressible in strict first order. Muscles.kif 1515-1515 antagonistMuscles FlexorCarpiRadialisMuscle and ExtensorCarpiRadialisBrevisMuscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1504-1504 antagonistMuscles FlexorCarpiRadialisMuscle and ExtensorCarpiRadialisLongusMuscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1397-1397
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1394-1394 muscleInsertion FlexorCarpiRadialisMuscle and BasesOfSecondMetacarpalBaseOfThirdMetacarpal
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1393-1393 muscleOrigin FlexorCarpiRadialisMuscle and MedialEpicondyleOfHumerusCommonFlexorTendon
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1391-1391 FlexorCarpiRadialisMuscle肌肉subclass

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


No TPTP formula. May not be expressible in strict first order. Muscles.kif 1398-1398 antagonistMuscles ExtensorCarpiRadialisBrevisExtensorCarpiRadialisLongusMuscle and FlexorCarpiRadialisMuscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1396-1396 ennervates MedianNerve and FlexorCarpiRadialisMuscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1395-1395 suppliesBlood RadialArtery and FlexorCarpiRadialisMuscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1392-1392


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