TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Seizure PathologicProcess)	Medicine.kif 1583-1583	Epileptic seizure is a subclass of pathologic process
(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 1586-1595	Epileptic seizure is a subclass of pathologic process
(diseaseMedicine Seizure Benzodiazepine Ingesting)	Medicine.kif 3918-3918	Epileptic seizure is disease treatment benzodiazepine for ingesting

appearance as argument number 2

(termFormat EnglishLanguage Seizure "seizure")	Medicine.kif 1584-1584
(termFormat EnglishLanguage Seizure "epileptic seizure")	Medicine.kif 1585-1585
(subclass TonicClonicSeizure Seizure)	Medicine.kif 1607-1607	GTCS is a subclass of epileptic seizure
(subclass FocalSeizure Seizure)	Medicine.kif 1632-1632	Partial seizure is a subclass of epileptic seizure
(subclass AbsenceSeizure Seizure)	Medicine.kif 1661-1661	Petit mal seizure 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 1597-1605	If X is an instance of epileptic seizure and Y experiences X, then there exists Z such that Z is an instance of brain, Z is a part of Y, and X is located at Z
(=> (and (patient ?I ?B) (instance ?B Brain) (or (instance ?I Stroke) (instance ?I Injuring) (instance ?I Seizure)) (experiencer ?I ?H) (part ?B ?H)) (modalAttribute (exists (?M) (and (instance ?M Mydriasis) (experiencer ?M ?H) (causes ?I ?M))) Possibility))	emotion.kif 864-879	If X is a patient of Y, X is an instance of brain, At least one of the following holds: (1) Y is an instance of stroke (2) Y is an instance of injuring (3) Y is an instance of epileptic seizure, Z experiences Y, and X is a part of Z, then the statement there exists W such that W is an instance of mydriasis, Z experiences W, and Y causes W has the modal force of possibility
(=> (and (patient ?I ?B) (instance ?B Brain) (or (instance ?I Stroke) (instance ?I Injuring) (instance ?I Seizure)) (experiencer ?I ?H) (part ?B ?H)) (modalAttribute (exists (?M) (and (instance ?M Miosis) (experiencer ?M ?H) (causes ?I ?M))) Possibility))	emotion.kif 969-984	If X is a patient of Y, X is an instance of brain, At least one of the following holds: (1) Y is an instance of stroke (2) Y is an instance of injuring (3) Y is an instance of epileptic seizure, Z experiences Y, and X is a part of Z, then the statement there exists W such that W is an instance of miosis, Z experiences W, and Y causes W has the modal force of possibility

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 3348-3363

If X is an instance of anti-seizure, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of human (3) Z is an instance of ingesting (4) the object transferred in Z is X (5) Y is an agent of Z (6) the time of existence of Z happens earlier than W (7) there doesn't exist V such that V is an instance of epileptic seizure (8) Y experiences V holds during W

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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: