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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SemimembranosusMuscle

Sigma KEE - SemimembranosusMuscle
SemimembranosusMuscle

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 muscleInsertion SemimembranosusMuscle and MedialSurfaceOfTibia10
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1896-1896 muscleOrigin SemimembranosusMuscle and IschialTuberosity10
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1894-1894 子類 SemimembranosusMuscle and Muscle

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


No TPTP formula. May not be expressible in strict first order. Muscles.kif 1903-1903 antagonistMuscles QuadricepsFemorisMuscle and SemimembranosusMuscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1899-1899 ennervates SciaticNerve10 and SemimembranosusMuscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1898-1898 suppliesBlood ProfundaFemorisGlutealArtery and SemimembranosusMuscle
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