Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Antiseizure(anti-seizure) |
| appearance as argument number 1 |
|
| (subclass Antiseizure Medicine) | Medicine.kif 3343-3343 | Anti-seizure is a subclass of medicine |
| (documentation Antiseizure EnglishLanguage "A Medicine which hasPurpose to reduce or eliminate Seizure.") | Medicine.kif 3344-3345 | Anti-seizure is a subclass of medicine |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (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 |
|