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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TensorFasciaeLataeMuscle

Sigma KEE - TensorFasciaeLataeMuscle
TensorFasciaeLataeMuscle(tensor fasciae latae muscle)

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


No TPTP formula. May not be expressible in strict first order. Muscles.kif 1717-1717
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1712-1712 The insertion point of tensor fasciae latae muscle is IliotibialTract
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1711-1711 The origin of tensor fasciae latae muscle is IliacCrest
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1709-1709 Tensor fasciae latae muscle is a subclass of muscle

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


No TPTP formula. May not be expressible in strict first order. Muscles.kif 1714-1714 ennervates superior gluteal nerve (L4, L5) and tensor fasciae latae muscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1713-1713 suppliesBlood PrimarilyLateralCircumflexFemoralArterySuperiorGlutealArtery and tensor fasciae latae muscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1710-1710


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