| appearance as argument number 1 |
|
| (diseaseMedicine Seizure Benzodiazepine Ingesting) | Medicine.kif 3872-3872 | |
| (documentation Seizure EnglishLanguage "A seizure, formally known as an epileptic seizure, is a period of symptoms due to abnormally excessive or synchronous neuronal activity in the brain. Outward effects vary from uncontrolled shaking movements involving much of the body with loss of consciousness (tonic_clonic seizure), to shaking movements involving only part of the body with variable levels of consciousness (focal seizure), to a subtle momentary loss of awareness (absence seizure). Most of the time these episodes last less than two minutes and it takes some time to return to normal. Loss of bladder control may occur.[from Wikipedia]") | Medicine.kif 1590-1599 | |
| (subclass Seizure PathologicalProcess) | Medicine.kif 1587-1587 |
| appearance as argument number 2 |
|
|
| (subclass AbsenceSeizure Seizure) | Medicine.kif 1665-1665 | |
| (subclass FocalSeizure Seizure) | Medicine.kif 1636-1636 | |
| (subclass TonicClonicSeizure Seizure) | Medicine.kif 1611-1611 | |
| (termFormat EnglishLanguage Seizure "epileptic seizure") | Medicine.kif 1589-1589 | |
| (termFormat EnglishLanguage Seizure "seizure") | Medicine.kif 1588-1588 |
| antecedent |
|
|
| (=> (and (instance ?S Seizure) (experiencer ?S ?A)) (exists (?B) (and (instance ?B Brain) (part ?B ?A) (located ?S ?B)))) |
Medicine.kif 1601-1609 |
| consequent |
|
|
| (=> (instance ?A Antiseizure) (hasPurpose ?A (exists (?H ?I ?T) (and (instance ?H Human) (instance ?I Ingesting) (objectTransferred ?I ?A) (agent ?I ?H) (earlier (WhenFn ?I) ?T) (holdsDuring ?T (not (exists (?S) (and (instance ?S Seizure) (experiencer ?S ?H))))))))) |
Medicine.kif 3305-3320 |
|
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