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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - Seizure

appearance as argument number 1

(diseaseMedicine Seizure Benzodiazepine Ingesting) Medicine.kif 3884-3884
(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

appearance as argument number 2

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


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


    (instance ?A Antiseizure)
    (hasPurpose ?A
        (exists (?H ?I ?T)
                (instance ?H Human)
                (instance ?I Ingesting)
                (objectTransferred ?I ?A)
                (agent ?I ?H)
                    (WhenFn ?I) ?T)
                (holdsDuring ?T
                        (exists (?S)
                                (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