HeartMuscle - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - HeartMuscle

HeartMuscle(heart muscle)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10417-10417
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10416-10416	Heart muscle is a subclass of involuntary muscle

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 10418-10418

antecedent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3954-3964	If a motion is an instance of muscular contraction and an object moves during the motion and the object is an instance of voluntary muscle or the object is an instance of heart muscle, then there exists another object such that the other object is an instance of troponin and the other object is a resource for the motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10420-10425	If a physical is an instance of heart muscle, then there exists an object such that the object is an instance of heart and the physical is located at the object

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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