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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AbductorDigitiMinimiMuscle

Sigma KEE - AbductorDigitiMinimiMuscle
AbductorDigitiMinimiMuscle

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


No TPTP formula. May not be expressible in strict first order. Muscles.kif 2198-2198 antagonistMuscles AbductorDigitiMinimiMuscle and FlexorDigitiMinimiBrevisMuscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1616-1616
No TPTP formula. May not be expressible in strict first order. Muscles.kif 2152-2152
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1611-1611 muscleInsertion AbductorDigitiMinimiMuscle and BaseOfProximalPhalanxOf5ThDigitOnUlnarOrMedialSide
No TPTP formula. May not be expressible in strict first order. Muscles.kif 2147-2147 muscleInsertion AbductorDigitiMinimiMuscle and PhalangesOfFifthToe
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1610-1610 muscleOrigin AbductorDigitiMinimiMuscle and Pisiform
No TPTP formula. May not be expressible in strict first order. Muscles.kif 2146-2146 muscleOrigin AbductorDigitiMinimiMuscle and PlantarAponeurosis
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1608-1608 子類 AbductorDigitiMinimiMuscle and Muscle

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


No TPTP formula. May not be expressible in strict first order. Muscles.kif 2153-2153 antagonistMuscles FlexorDigitiMinimiBrevisMuscle and AbductorDigitiMinimiMuscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1613-1613 ennervates DeepBranchOfUlnarNerve and AbductorDigitiMinimiMuscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 2149-2149 ennervates LateralPlantarNerveS1S2 and AbductorDigitiMinimiMuscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 2148-2148 suppliesBlood LateralPlantarArtery and AbductorDigitiMinimiMuscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1612-1612 suppliesBlood UlnarArtery and AbductorDigitiMinimiMuscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1609-1609


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