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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PsoasMinorMuscle

Sigma KEE - PsoasMinorMuscle
PsoasMinorMuscle

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


No TPTP formula. May not be expressible in strict first order. Muscles.kif 1695-1695
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1690-1690 muscleInsertion PsoasMinorMuscle and PectinealLineAndIliopectinealEminence
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1689-1689 muscleOrigin PsoasMinorMuscle and SideOfT11L1AndIVIntervertebralDisc
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1687-1687 PsoasMinorMuscle肌肉subclass

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


No TPTP formula. May not be expressible in strict first order. Muscles.kif 1696-1696 antagonistMuscles GluteusMaximusMuscle and PsoasMinorMuscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1692-1692 ennervates L1 and PsoasMinorMuscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1691-1691 suppliesBlood IliolumbarArteryLumbarArteries and PsoasMinorMuscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1688-1688


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