Seizure - Sigma Knowledge base Browser

appearance as argument number 1

(diseaseMedicine Seizure Benzodiazepine Ingesting)	Medicine.kif 3887-3887	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 1595-1604	Epileptic seizure is disease treatment benzodiazepine for ingesting
(subclass Seizure PathologicalProcess)	Medicine.kif 1592-1592	Epileptic seizure is a subclass of PathologicalProcess

appearance as argument number 2

(subclass AbsenceSeizure Seizure)	Medicine.kif 1670-1670	Petit mal seizure is a subclass of epileptic seizure
(subclass FocalSeizure Seizure)	Medicine.kif 1641-1641	Partial seizure is a subclass of epileptic seizure
(subclass TonicClonicSeizure Seizure)	Medicine.kif 1616-1616	GTCS is a subclass of epileptic seizure
(termFormat EnglishLanguage Seizure "epileptic seizure")	Medicine.kif 1594-1594	GTCS is a subclass of epileptic seizure
(termFormat EnglishLanguage Seizure "seizure")	Medicine.kif 1593-1593	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 1606-1614

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 3318-3333

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: