HeartAttack - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - HeartAttack

HeartAttack(myocardial infarction)

MI, heart_attack, myocardial_infarct, myocardial_infarction

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4679-4679	Myocardial infarction is disease treatment beta blocker for ingesting
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11351-11364
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11350-11350	Myocardial infarction is a subclass of pathologic process

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11365-11365
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11366-11366

antecedent

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

Mid-level-ontology.kif 11368-11385

If a physical is an instance of myocardial infarction and an object is an instance of heart and the physical is located at the object,
then there exists another object such that the other object is an instance of muscle and the other object is a part of the object and there don't exist a time interval and a third object such that the time interval is an instance of liquid motion and the object transferred in the time interval is the third object and the third object is an instance of blood and the time interval takes place during the time of existence of the physical and the time interval ends up at the other 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