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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PectoralisMajorMuscle

Sigma KEE - PectoralisMajorMuscle
PectoralisMajorMuscle

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


No TPTP formula. May not be expressible in strict first order. Muscles.kif 1235-1235
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1230-1230 muscleInsertion PectoralisMajorMuscle and IntertubercularGrooveOfHumerus
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1229-1229 muscleOrigin PectoralisMajorMuscle and ClavicularHeadAnteriorSurfaceOfMedialHalfOfClavicleSternocostalHeadAnteriorSurfaceOfSternumSuperiorSixCostalCartilages
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1227-1227 子類 PectoralisMajorMuscle and Muscle

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


No TPTP formula. May not be expressible in strict first order. Muscles.kif 1232-1232 ennervates LateralPectoralNerveMedialPectoralNerveClavicularHeadC5AndC6SternocostalHeadC7C8AndT1 and PectoralisMajorMuscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1231-1231 suppliesBlood PectoralBranchOfThoracoacromialArtery and PectoralisMajorMuscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1228-1228


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