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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Sternum

Sigma KEE - SemitendinosusMuscle
SemitendinosusMuscle(semitendinosus muscle)

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


No TPTP formula. May not be expressible in strict first order. Muscles.kif 1891-1891
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1886-1886 The insertion point of semitendinosus muscle is PesAnserinus
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1885-1885 The origin of semitendinosus muscle is IschialTuberosity10
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1883-1883 Semitendinosus muscle is a subclass of muscle

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


No TPTP formula. May not be expressible in strict first order. Muscles.kif 1892-1892 Quadriceps femoris muscle and semitendinosus muscle are antagonist muscles
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1888-1888 ennervates sciatic nerve[10] (tibial, L5, S1, S2) and semitendinosus muscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1887-1887 suppliesBlood InferiorGlutealArteryPerforatingArteries and semitendinosus muscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1884-1884


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