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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SemimembranosusMuscle

Sigma KEE - SemimembranosusMuscle
SemimembranosusMuscle(semimembranosus muscle)

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


No TPTP formula. May not be expressible in strict first order. Muscles.kif 1902-1902
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1897-1897 The insertion point of semimembranosus muscle is MedialSurfaceOfTibia10
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1896-1896 The origin of semimembranosus muscle is IschialTuberosity10
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1894-1894 Semimembranosus muscle is a subclass of muscle

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


No TPTP formula. May not be expressible in strict first order. Muscles.kif 1903-1903 Quadriceps femoris muscle and semimembranosus muscle are antagonist muscles
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1899-1899 ennervates sciatic nerve[10] and semimembranosus muscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1898-1898 suppliesBlood ProfundaFemorisGlutealArtery and semimembranosus muscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1895-1895


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