TreeView Knowledge Base Browser - Stroke

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Stroke

Stroke(stroke)

CVA, apoplexy, cerebral_hemorrhage, cerebrovascular_accident, haemorrhagic_stroke, hemorrhagic_stroke, ischaemic_stroke, ischemic_stroke, stroke

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11920-11932
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11919-11919	Stroke 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 11933-11933

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11942-11959	If a physical is an instance of stroke and an object is an instance of brain and the physical is located at the object, then there exists another object such that the other object is an instance of nerve cell 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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11961-11972	If a process is an instance of stroke and an object is an instance of brain and the process is located at the object, then there exist a physical and another process such that the physical is an instance of nerve cell and the physical is located at the object and the other process is an instance of destruction and the other process is a subprocess of the process and the physical is a patient of the other process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11935-11940	If a physical is an instance of stroke, then there exists an object such that the object is an instance of brain and the physical is located at the object

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