Seizure(epileptic seizure) |
appearance as argument number 1 |
![]() |
(diseaseMedicine Seizure Benzodiazepine Ingesting) | Medicine.kif 3872-3872 | Epileptic seizure is disease treatment benzodiazepine for ingesting |
(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 | Epileptic seizure is disease treatment benzodiazepine for ingesting |
(subclass Seizure PathologicalProcess) | Medicine.kif 1587-1587 | Epileptic seizure is a subclass of PathologicalProcess |
appearance as argument number 2 |
![]() |
(subclass AbsenceSeizure Seizure) | Medicine.kif 1665-1665 | Petit mal seizure is a subclass of epileptic seizure |
(subclass FocalSeizure Seizure) | Medicine.kif 1636-1636 | Partial seizure is a subclass of epileptic seizure |
(subclass TonicClonicSeizure Seizure) | Medicine.kif 1611-1611 | GTCS is a subclass of epileptic seizure |
(termFormat EnglishLanguage Seizure "epileptic seizure") | Medicine.kif 1589-1589 | GTCS is a subclass of epileptic seizure |
(termFormat EnglishLanguage Seizure "seizure") | Medicine.kif 1588-1588 | GTCS is a subclass of epileptic seizure |
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 |
|
![]() |
![]() |