Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Nausea(nausea) |  | kinetosis, morning_sickness, motion_sickness, nausea, nauseate, nauseated, nauseous, qualm, queasiness, queasy, sick, sicken, sickish, sickness, squeamishness, turn_one's_stomach |
| appearance as argument number 1 |
|
|
| (subclass Nausea OrganismProcess) | Mid-level-ontology.kif 23634-23634 | Nausea is a subclass of organism process |
| (documentation Nausea EnglishLanguage "The feeling that one is likely to begin Vomiting.") | Mid-level-ontology.kif 23636-23636 | Nausea is a subclass of organism process |
| (sideEffect Nausea Escitalopram) | Medicine.kif 4086-4086 | Escitalopram is a side effect of taking nausea |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?N Nausea) (experiencer ?N ?H)) (believes ?H (holdsDuring (ImmediateFutureFn (WhenFn ?N)) (exists (?V) (and (instance ?V Vomiting) (experiencer ?V ?H)))))) |
Mid-level-ontology.kif 23637-23648 | If X is an instance of nausea and Y experiences X, then Y believes there exists Z such that Z is an instance of vomiting and Y experiences Z holds during immediately after the time of existence of X |
| consequent |
|
|
| (=> (holdsDuring ?T (attribute ?H Hypersalivation)) (modalAttribute (exists (?S) (and (experiencer ?S ?H) (during (WhenFn ?S) ?T) (or (instance ?S Spitting) (instance ?S Drooling) (instance ?S Nausea)))) Likely)) |
Medicine.kif 5348-5362 | If hypersalivation is an attribute of X holds during Y, then the statement there exists Z such that X experiences Z, the time of existence of Z takes place during Y, and Z is an instance of spitting, Z is an instance of drooling, or Z is an instance of nausea has the modal force of likely |
|