Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Seizure

Sigma KEE - Seizure
Seizure

appearance as argument number 1
-------------------------


(diseaseMedicine Seizure Benzodiazepine Ingesting) Medicine.kif 3884-3884 Seizure 是 對於 Ingestingdisease 治癒 Benzodiazepine
(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 1602-1611
(subclass Seizure PathologicalProcess) Medicine.kif 1599-1599 子類 Seizure and PathologicalProcess

appearance as argument number 2
-------------------------


(subclass AbsenceSeizure Seizure) Medicine.kif 1677-1677 子類 AbsenceSeizure and Seizure
(subclass FocalSeizure Seizure) Medicine.kif 1648-1648 子類 FocalSeizure and Seizure
(subclass TonicClonicSeizure Seizure) Medicine.kif 1623-1623 子類 TonicClonicSeizure and Seizure
(termFormat EnglishLanguage Seizure "epileptic seizure") Medicine.kif 1601-1601
(termFormat EnglishLanguage Seizure "seizure") Medicine.kif 1600-1600

antecedent
-------------------------


(=>
    (and
        (instance ?S Seizure)
        (experiencer ?S ?A))
    (exists (?B)
        (and
            (instance ?B Brain)
            (part ?B ?A)
            (located ?S ?B))))
Medicine.kif 1613-1621

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 3317-3332


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