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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PalmarisLongusMuscle

Sigma KEE - PalmarisLongusMuscle
PalmarisLongusMuscle

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


No TPTP formula. May not be expressible in strict first order. Muscles.kif 1406-1406
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1403-1403 muscleInsertion PalmarisLongusMuscle and PalmarAponeurosis
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1402-1402 muscleOrigin PalmarisLongusMuscle and MedialEpicondyleOfHumerusCommonFlexorTendon
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1400-1400 PalmarisLongusMuscle肌肉subclass

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


No TPTP formula. May not be expressible in strict first order. Muscles.kif 1407-1407 antagonistMuscles ExtensorCarpiRadialisBrevisExtensorCarpiRadialisLongusExtensorCarpiUlnarisMuscle and PalmarisLongusMuscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1405-1405 ennervates MedianNerve and PalmarisLongusMuscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1404-1404 suppliesBlood UlnarArtery and PalmarisLongusMuscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1401-1401


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