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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PectineusMuscle

Sigma KEE - PectineusMuscle
PectineusMuscle(pectineus muscle)

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


No TPTP formula. May not be expressible in strict first order. Muscles.kif 1935-1935
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1930-1930 The insertion point of pectineus muscle is LesserTrochanterLineaAspera
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1929-1929 The origin of pectineus muscle is SuperiorPubicRamus11
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1927-1927 Pectineus muscle is a subclass of muscle

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


No TPTP formula. May not be expressible in strict first order. Muscles.kif 1936-1936 GluteusMediusGluteusMinimusMuscle and pectineus muscle are antagonist muscles
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1932-1932 ennervates femoral nerve and obturator nerve (medial compartment)[11] and pectineus muscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1931-1931 suppliesBlood obturator artery and pectineus muscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1928-1928


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