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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FlexorDigitorumLongusMuscle

Sigma KEE - FlexorDigitorumLongusMuscle
FlexorDigitorumLongusMuscle

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


No TPTP formula. May not be expressible in strict first order. Muscles.kif 2069-2069
No TPTP formula. May not be expressible in strict first order. Muscles.kif 2066-2066 muscleInsertion FlexorDigitorumLongusMuscle and DistalPhalangesOfLateralFourDigits
No TPTP formula. May not be expressible in strict first order. Muscles.kif 2065-2065 muscleOrigin FlexorDigitorumLongusMuscle and MedialTibia
No TPTP formula. May not be expressible in strict first order. Muscles.kif 2063-2063 子類 FlexorDigitorumLongusMuscle and Muscle

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


No TPTP formula. May not be expressible in strict first order. Muscles.kif 2070-2070 antagonistMuscles ExtensorDigitorumLongusExtensorDigitorumBrevisMuscle and FlexorDigitorumLongusMuscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 2068-2068 ennervates TibialNerve and FlexorDigitorumLongusMuscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 2067-2067 suppliesBlood PosteriorTibialArtery and FlexorDigitorumLongusMuscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 2064-2064


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