Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Vomiting
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Vomiting OrganismProcess) | Mid-level-ontology.kif 23610-23610 | Vomiting is a subclass of organism process |
| (documentation Vomiting EnglishLanguage "The process by which an Organism expells the contents of its Stomach. Although usually involuntary, a Human can induce vomiting in itself, so this cannot be a purely AutonomicProcess.") | Mid-level-ontology.kif 23612-23614 | Vomiting is a subclass of organism process |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Vomiting "vomiting") | Mid-level-ontology.kif 23611-23611 | |
| (sideEffect Clarithromycin Vomiting) | Medicine.kif 3632-3632 | Vomiting is a side effect of taking clarithromycin |
| (sideEffect Doxycycline Vomiting) | Medicine.kif 3846-3846 | Vomiting is a side effect of taking doxycycline |
| (diseaseMedicine Ondansetron Vomiting Injecting) | Medicine.kif 5109-5109 | Ondansetron is disease treatment vomiting for injecting |
| (diseaseMedicine Ondansetron Vomiting Ingesting) | Medicine.kif 5110-5110 | Ondansetron is disease treatment vomiting for ingesting |
| (sideEffect Levocetirizine Vomiting) | Medicine.kif 5274-5274 | Vomiting is a side effect of taking levocetirizine |
| (sideEffect Hydroxychloroquine Vomiting) | Medicine.kif 5641-5641 | Vomiting is a side effect of taking hydroxychloroquine |
| antecedent |
|
|
| (=> (and (instance ?V Vomiting) (experiencer ?V ?A)) (exists (?S ?O) (and (instance ?S Stomach) (part ?S ?A) (holdsDuring (BeginFn (WhenFn ?V)) (located ?O ?S)) (holdsDuring (EndFn (WhenFn ?V)) (not (located ?O ?A)))))) |
Mid-level-ontology.kif 23618-23632 | If X is an instance of vomiting and Y experiences X, then there exist Z, W such that Z is an instance of stomach, Z is a part of Y, W is located at Z holds during the beginning of the time of existence of X, and W is not located at Y holds during the end of the time of existence of X |
| (=> (and (instance ?V Vomiting) (instance ?O Vomit) (patient ?V ?O) (experiencer ?V ?A)) (exists (?S) (and (instance ?S Stomach) (part ?S ?A) (holdsDuring (BeginFn (WhenFn ?V)) (located ?O ?S)) (holdsDuring (EndFn (WhenFn ?V)) (not (located ?O ?A)))))) |
Mid-level-ontology.kif 23657-23673 | If X is an instance of vomiting, Y is an instance of vomit, Y is a patient of X, and Z experiences X, then there exists W such that W is an instance of stomach, W is a part of Z, Y is located at W holds during the beginning of the time of existence of X, and Y is not located at Z holds during the end of the time of existence of X |
| consequent |
|
|
| (=> (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 |
| (=> (instance ?P Pedialyte) (hasPurpose ?P (exists (?C ?D ?V ?DR) (and (instance ?C HumanChild) (instance ?D Diarrhea) (instance ?V Vomiting) (or (and (experiencer ?D ?C) (earlier (WhenFn ?D) (WhenFn ?DR))) (and (experiencer ?V ?C) (earlier (WhenFn ?V) (WhenFn ?DR)))) (instance ?DR Drinking) (agent ?DR ?C) (objectTransferred ?DR ?P))))) |
Medicine.kif 4837-4854 | If X is an instance of Pedialyte, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of human child (3) Z is an instance of diarrhea (4) W is an instance of vomiting (5) Y experiences Z (6) the time of existence of Z happens earlier than the time of existence of V or Y experiences W (7) the time of existence of W happens earlier than the time of existence of V (8) V is an instance of drinking (9) Y is an agent of V (10) the object transferred in V is X |
| (=> (attribute ?H Bulimia) (exists (?E ?P) (and (instance ?E Eating) (or (instance ?P Vomiting) (instance ?P Defecating)) (agent ?P ?H) (wants ?H ?P) (earlier (WhenFn ?E) (WhenFn ?P))))) |
Medicine.kif 5031-5043 | If bulimia nervosa is an attribute of X, then there exist Y, Z such that Y is an instance of eating, Z is an instance of vomiting or Z is an instance of Defecating, X is an agent of Z, X wants Z, and the time of existence of Y happens earlier than the time of existence of Z |
|