![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| AbsenceSeizure(petit mal seizure) |
| appearance as argument number 1 |
|
|
| (subclass AbsenceSeizure Seizure) | Medicine.kif 1661-1661 | Petit mal seizure is a subclass of epileptic seizure |
| (documentation AbsenceSeizure EnglishLanguage "Absence seizures are one of several kinds of generalized seizures. These seizures are sometimes referred to as petit mal seizures (from the French for 'little illness', a term dating from the late 18th century). Absence seizures are characterized by a brief loss and return of consciousness, generally not followed by a period of lethargy (i.e. without a notable postictal state).[from Wikipedia]") | Medicine.kif 1663-1669 | Petit mal seizure is a subclass of epileptic seizure |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage AbsenceSeizure "absence seizure") | Medicine.kif 1671-1671 | |
| (termFormat EnglishLanguage AbsenceSeizure "petit mal seizure") | Medicine.kif 1672-1672 |
| antecedent |
|
|
| (=> (and (instance ?S AbsenceSeizure) (experiencer ?S ?A)) (holdsDuring (WhenFn ?S) (not (attribute ?A Conscious)))) |
Medicine.kif 1674-1681 | If X is an instance of petit mal seizure and Y experiences X, then conscious is not an attribute of Y holds during the time of existence of X |