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

Formal Language: 



KB Term:  Term intersection
English Word: 

  IliacusMuscle

Sigma KEE - IliacusMuscle
IliacusMuscle

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


No TPTP formula. May not be expressible in strict first order. Muscles.kif 1706-1706
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1701-1701 muscleInsertion IliacusMuscle and LesserTrochanterOfFemur
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1700-1700 muscleOrigin IliacusMuscle and IliacFossa
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1698-1698 IliacusMuscle肌肉subclass

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


No TPTP formula. May not be expressible in strict first order. Muscles.kif 1707-1707 antagonistMuscles GluteusMaximusMuscle and IliacusMuscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1703-1703 ennervates FemoralNerveL2L37 and IliacusMuscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1702-1702 suppliesBlood MedialFemoralCircumflexArteryIliolumbarArtery and IliacusMuscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1699-1699


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