Seizure - Sigma Knowledge base Browser

appearance as argument number 1

(diseaseMedicine Seizure Benzodiazepine Ingesting)	Medicine.kif 3884-3884	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 1602-1611	Epileptic seizure is disease treatment benzodiazepine for ingesting
(subclass Seizure PathologicalProcess)	Medicine.kif 1599-1599	Epileptic seizure is a subclass of PathologicalProcess

appearance as argument number 2

(subclass AbsenceSeizure Seizure)	Medicine.kif 1677-1677	Petit mal seizure is a subclass of epileptic seizure
(subclass FocalSeizure Seizure)	Medicine.kif 1648-1648	Partial seizure is a subclass of epileptic seizure
(subclass TonicClonicSeizure Seizure)	Medicine.kif 1623-1623	GTCS is a subclass of epileptic seizure
(termFormat EnglishLanguage Seizure "epileptic seizure")	Medicine.kif 1601-1601	GTCS is a subclass of epileptic seizure
(termFormat EnglishLanguage Seizure "seizure")	Medicine.kif 1600-1600	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 1613-1621

If a process is an instance of epileptic seizure and an agent experiences the process,
then there exists an object such that the object is an instance of brain and the object is a part of the agent and the process is located at the object

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

If a physical is an instance of anti-seizure,
then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of human and the other entity is an instance of ingesting and the object transferred in the other entity is the physical and the entity is an agent of the other entity and the time of existence of the other entity happens earlier than the third entity and there doesn't exist a fourth entity such that the fourth entity is an instance of epileptic seizure and the entity experiences the fourth entity holds during the third entity

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

KB Term:			Term intersection

English Word: