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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PlantarInterosseiMuscle

Sigma KEE - PlantarInterosseiMuscle
PlantarInterosseiMuscle(plantar interossei muscle)

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


No TPTP formula. May not be expressible in strict first order. Muscles.kif 2215-2215 Plantar interossei muscle and dorsal interossei muscle are antagonist muscles
No TPTP formula. May not be expressible in strict first order. Muscles.kif 2125-2125 Plantar interossei muscle and dorsal interossei of foot muscle are antagonist muscles
No TPTP formula. May not be expressible in strict first order. Muscles.kif 2206-2206
No TPTP formula. May not be expressible in strict first order. Muscles.kif 2203-2203 The insertion point of plantar interossei muscle is ProximalPhalangesIIIVMusclesCrossTheMetatarsophalangealJointOfToesIIIVSoTheInsertionsCorrespondWithTheOriginAndThereIsNoCrossingBetweenToes
No TPTP formula. May not be expressible in strict first order. Muscles.kif 2202-2202 The origin of plantar interossei muscle is TendonsOfPlantarInterossei
No TPTP formula. May not be expressible in strict first order. Muscles.kif 2200-2200 Plantar interossei muscle is a subclass of muscle

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


No TPTP formula. May not be expressible in strict first order. Muscles.kif 2207-2207 Dorsal interossei muscle and plantar interossei muscle are antagonist muscles
No TPTP formula. May not be expressible in strict first order. Muscles.kif 2205-2205 ennervates lateral plantar nerve and plantar interossei muscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 2204-2204 suppliesBlood PlantarArchDorsalMetatarsalArtery and plantar interossei muscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 2201-2201


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