| Ingesting(ingesting) | | IV, TPN, addict, alimentation, alimentative, breast_feeding, consume, consumption, demand_feeding, feeding, forced_feeding, gavage, get_down, go_down, habituate, have, hearty, hit, hook, hyperalimentation, infant_feeding, ingest, ingestion, intake, intravenous_feeding, keep_down, lactation, nourished, nursing, overfeeding, schedule_feeding, snivel, snuffle, spoonfeeding, suckling, sup, swallow, take, take_in, total_parenteral_nutrition, uptake, use |
| appearance as argument number 1 |
|
|
| (subclass Ingesting OrganismProcess) | Merge.kif 10406-10406 | Ingesting is a subclass of organism process |
| (subclass Ingesting Transfer) | Merge.kif 10407-10407 | Ingesting is a subclass of transfer |
| (documentation Ingesting EnglishLanguage "The Process by which food or Medicine is taken into an Animal.") | Merge.kif 10409-10410 | Ingesting is a subclass of transfer |
| (subclass Ingesting Consuming) | Mid-level-ontology.kif 18836-18836 | Ingesting is a subclass of consuming |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| antecedent |
|
|
| (=> (and (instance ?ACT Ingesting) (resource ?ACT ?F)) (or (instance ?F (FoodForFn Organism)) (instance ?F Medicine))) |
Merge.kif 10412-10418 | If X is an instance of ingesting and Y is a resource for X, then Y is an instance of food for organism or Y is an instance of medicine |
| (=> (and (instance ?P Poison) (instance ?I Ingesting) (moves ?I ?P) (experiencer ?I ?H)) (exists (?D) (and (instance ?D Damaging) (experiencer ?D ?H) (causes ?I ?D)))) |
Mid-level-ontology.kif 9846-9856 | If X is an instance of poison, Y is an instance of ingesting, X moves during Y, and Z experiences Y, then there exists W such that W is an instance of damaging, Z experiences W, and Y causes W |
| (=> (and (instance ?P Poison) (instance ?I Ingesting) (moves ?I ?P) (experiencer ?I ?H)) (modalAttribute (holdsDuring (FutureFn (WhenFn ?I)) (attribute ?H Blind)) Possibility)) |
Mid-level-ontology.kif 9870-9881 | If X is an instance of poison, Y is an instance of ingesting, X moves during Y, and Z experiences Y, then the statement blindness is an attribute of Z holds during after the time of existence of Y has the modal force of possibility |
| (=> (and (instance ?I Ingesting) (experiencer ?I ?H) (objectTransferred ?I ?MS) (instance ?MS MoodStabilizer) (instance ?E ?EC) (involvedInEvent ?E ?H) (holdsDuring (WhenFn ?E) (attribute ?H ?ES)) (instance ?ES EmotionalState) (instance ?E2 ?EC) (involvedInEvent ?E2 ?H) (earlier (WhenFn ?E2) (WhenFn ?I))) (modalAttribute (not (holdsDuring ?E2 (attribute ?H ?ES))) Unlikely)) |
Mid-level-ontology.kif 11143-11164 | If All of the following hold: (1) X is an instance of ingesting (2) Y experiences X (3) the object transferred in X is Z (4) Z is an instance of mood stabilizer (5) W is an instance of V (6) Y is an involved in event of W (7) U is an attribute of Y holds during the time of existence of W (8) U is an instance of emotional state (9) T is an instance of V (10) Y is an involved in event of T (11) the time of existence of T happens earlier than the time of existence of X, then the statement U is not an attribute of Y doesn't hold during T has the modal force of unlikely |
| (=> (and (instance ?A Antacid) (instance ?I Ingesting) (agent ?I ?H) (moves ?I ?A) (instance ?S Stomach) (part ?S ?H) (holdsDuring (ImmediatePastFn (WhenFn ?I)) (and (contains ?S ?F1) (instance ?F1 Fluid))) (holdsDuring (ImmediateFutureFn (WhenFn ?I)) (and (contains ?S ?F2) (instance ?F2 Fluid))) (phMeasure ?F1 ?N1) (phMeasure ?F2 ?N2)) (greaterThan ?N2 ?N1)) |
Mid-level-ontology.kif 11208-11230 | If All of the following hold: (1) X is an instance of antacid (2) Y is an instance of ingesting (3) Z is an agent of Y (4) X moves during Y (5) W is an instance of stomach (6) W is a part of Z (7) W contains V and V is an instance of fluid holds during immediately before the time of existence of Y (8) W contains U and U is an instance of fluid holds during immediately after the time of existence of Y (9) pH measure V and T (10) pH measure U and S, then S is greater than T |
| (=> (and (instance ?A ProtonPumpInhibitor) (instance ?I Ingesting) (agent ?I ?H) (moves ?I ?A) (instance ?S Stomach) (part ?S ?H) (holdsDuring (ImmediatePastFn (WhenFn ?I)) (and (contains ?S ?F1) (instance ?F1 Fluid))) (holdsDuring (ImmediateFutureFn (WhenFn ?I)) (and (contains ?S ?F2) (instance ?F2 Fluid))) (phMeasure ?F1 ?N1) (phMeasure ?F2 ?N2)) (greaterThan ?N2 ?N1)) |
Mid-level-ontology.kif 11269-11291 | If All of the following hold: (1) X is an instance of PPI (2) Y is an instance of ingesting (3) Z is an agent of Y (4) X moves during Y (5) W is an instance of stomach (6) W is a part of Z (7) W contains V and V is an instance of fluid holds during immediately before the time of existence of Y (8) W contains U and U is an instance of fluid holds during immediately after the time of existence of Y (9) pH measure V and T (10) pH measure U and S, then S is greater than T |
| (=> (and (instance ?D Diuretic) (instance ?I Ingesting) (agent ?I ?H) (moves ?I ?D) (instance ?U1 Urination) (result ?U1 ?P1) (agent ?U1 ?H) (instance ?U2 Urination) (result ?U2 ?P2) (agent ?U2 ?H) (earlier ?U1 ?I) (earlier ?I ?U2) (instance ?V UnitOfVolume) (measure ?U1 (MeasureFn ?N1 ?V)) (measure ?U2 (MeasureFn ?N2 ?V))) (modalAttribute (greaterThan ?N2 ?N1) Likely)) |
Mid-level-ontology.kif 11394-11415 | If All of the following hold: (1) X is an instance of diuretic (2) Y is an instance of ingesting (3) Z is an agent of Y (4) X moves during Y (5) W is an instance of urination (6) V is a result of W (7) Z is an agent of W (8) U is an instance of urination (9) T is a result of U (10) Z is an agent of U (11) W happens earlier than Y (12) Y happens earlier than U (13) S is an instance of unit of volume (14) the measure of W is R S(s) (15) the measure of U is Q S(s), then the statement Q is greater than R has the modal force of likely |
| (=> (and (instance ?D Antidiuretic) (instance ?I Ingesting) (agent ?I ?H) (moves ?I ?D) (instance ?U1 Urination) (result ?U1 ?P1) (agent ?U1 ?H) (instance ?U2 Urination) (not (equal ?U1 ?U2)) (result ?U2 ?P2) (agent ?U2 ?H) (earlier ?U1 ?I) (earlier ?I ?U2) (instance ?V UnitOfVolume) (measure ?U1 (MeasureFn ?N1 ?V)) (measure ?U2 (MeasureFn ?N2 ?V))) (modalAttribute (greaterThan ?N1 ?N2) Likely)) |
Mid-level-ontology.kif 11424-11447 | If All of the following hold: (1) X is an instance of antidiuretic (2) Y is an instance of ingesting (3) Z is an agent of Y (4) X moves during Y (5) W is an instance of urination (6) V is a result of W (7) Z is an agent of W (8) U is an instance of urination (9) equal W and U (10) T is a result of U (11) Z is an agent of U (12) W happens earlier than Y (13) Y happens earlier than U (14) S is an instance of unit of volume (15) the measure of W is R S(s) (16) the measure of U is Q S(s), then the statement R is greater than Q has the modal force of likely |
| (=> (and (instance ?I Ingesting) (objectTransferred ?I ?H) (instance ?H Hallucinogen) (destination ?I ?P)) (modalAttribute (exists (?HAL) (and (instance ?HAL Hallucination) (experiencer ?HAL ?P))) Likely)) |
TransnationalIssues.kif 88-99 | If X is an instance of ingesting, the object transferred in X is Y, Y is an instance of hallucinogen, and X ends up at Z, then the statement there exists W such that W is an instance of hallucination and Z experiences W has the modal force of likely |
| (=> (and (instance ?I Ingesting) (experiencer ?I ?H) (objectTransferred ?I ?D) (instance ?D ?DC) (sideEffect ?DC ?DIS)) (modalAttribute (attribute ?H ?DIS) Likely)) |
WMD.kif 1540-1549 | If X is an instance of ingesting, Y experiences X, the object transferred in X is Z, Z is an instance of W, and V is a side effect of taking W, then the statement V is an attribute of Y has the modal force of likely |
| (=> (and (instance ?I Ingesting) (experiencer ?I ?H) (objectTransferred ?I ?D) (instance ?D ?DC) (pathologicSideEffect ?DC ?DIS)) (modalAttribute (exists (?P) (and (instance ?P ?DIS) (experiencer ?H ?P))) Likely)) |
WMD.kif 1558-1570 | If X is an instance of ingesting, Y experiences X, the object transferred in X is Z, Z is an instance of W, and pathologic side effect W and V, then the statement there exists U such that U is an instance of V and U experiences Y has the modal force of likely |
| consequent |
|
|
| (=> (and (instance ?DIGEST Digesting) (agent ?DIGEST ?ORGANISM)) (exists (?INGEST) (and (instance ?INGEST Ingesting) (agent ?INGEST ?ORGANISM) (overlapsTemporally (WhenFn ?INGEST) (WhenFn ?DIGEST))))) |
Merge.kif 10449-10457 | If X is an instance of digesting and Y is an agent of X, then there exists Z such that Z is an instance of ingesting, Y is an agent of Z, and the time of existence of X overlaps the time of existence of Z |
| (=> (instance ?T Tableware) (hasPurpose ?T (exists (?I) (and (instance ?I Ingesting) (instrument ?I ?T))))) |
Mid-level-ontology.kif 2733-2739 | If X is an instance of tableware, then X has the purpose there exists Y such that Y is an instance of ingesting and X is an instrument for Y |
| (=> (instance ?S Swallowing) (exists (?I) (and (instance ?I Ingesting) (subProcess ?I ?S)))) |
Mid-level-ontology.kif 7565-7570 | If X is an instance of swallowing, then there exists Y such that Y is an instance of ingesting and Y is a subprocess of X |
| (=> (instance ?P Pill) (hasPurpose ?P (exists (?A ?I) (and (instance ?A Animal) (instance ?I Ingesting) (experiencer ?I ?A) (objectTransferred ?I ?P))))) |
Mid-level-ontology.kif 10625-10633 | If X is an instance of pill, then X has the purpose there exist Y, Z such that Y is an instance of animal, Z is an instance of ingesting, Y experiences Z, and the object transferred in Z is X |
| (=> (instance ?AP Antidepressant) (hasPurpose ?AP (exists (?I ?H) (and (instance ?I Ingesting) (objectTransferred ?I ?AP) (agent ?AP ?H) (holdsDuring (FutureFn (WhenFn ?I)) (not (attribute ?H Depression))))))) |
Mid-level-ontology.kif 11066-11078 | If X is an instance of anti-depressant, then X has the purpose there exist Y, Z such that Y is an instance of ingesting, the object transferred in Y is X, Z is an agent of X, and depressed is not an attribute of Z holds during after the time of existence of Y |
| (=> (instance ?AP Antipsychotic) (hasPurpose ?AP (exists (?I ?H) (and (instance ?I Ingesting) (objectTransferred ?I ?AP) (agent ?AP ?H) (holdsDuring (FutureFn (WhenFn ?I)) (not (attribute ?H Psychosis))))))) |
Mid-level-ontology.kif 11086-11098 | If X is an instance of anti-psychotic, then X has the purpose there exist Y, Z such that Y is an instance of ingesting, the object transferred in Y is X, Z is an agent of X, and psychosis is not an attribute of Z holds during after the time of existence of Y |
| (=> (instance ?N AntiInflammatory) (hasPurpose ?N (exists (?I ?H ?IN) (and (instance ?I Inflammation) (experiencer ?H ?I) (instance ?IN Ingesting) (before (BeginFn (WhenFn ?I)) (BeginFn (WhenFn ?IN))) (holdsDuring (FutureFn (WhenFn ?I)) (not (exists (?I2) (and (instance ?I2 Inflammation) (experiencer ?I2 ?H))))))))) |
Mid-level-ontology.kif 13908-13928 | If X is an instance of anti-inflammatory, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of inflammation (3) Y experiences Z (4) W is an instance of ingesting (5) the beginning of the time of existence of Y happens before the beginning of the time of existence of W (6) there doesn't exist V such that V is an instance of inflammation (7) Z experiences V holds during after the time of existence of Y |
| (=> (and (instance ?O Organism) (instance ?E Egg) (attribute ?O Embryonic) (part ?O ?E)) (exists (?Y) (and (instance ?Y EggYolk) (hasPurpose ?Y (exists (?I) (and (instance ?I Ingesting) (agent ?I ?O) (resource ?I ?Y))))))) |
Food.kif 2555-2569 | If X is an instance of organism, Y is an instance of egg, embryonic is an attribute of X, and X is a part of Y, then there exists Z such that Z is an instance of egg yolk, Z has the purpose there exists W such that W is an instance of ingesting, X is an agent of W, and Z is a resource for W |
| (=> (instance ?TA TranexamicAcid) (hasPurpose ?TA (exists (?P) (and (instance ?P Human) (decreasesLikelihood (exists (?I) (and (instance ?I Ingesting) (objectTransferred ?I ?TA) (destination ?I ?P))) (exists (?P ?B) (and (instance ?P Human) (instance ?B Bleeding) (origin ?B ?P)))))))) |
Medicine.kif 1029-1045 | If X is an instance of tranexamic acid, then All of the following hold: (1) X has the purpose there exists Y such that Y is an instance of human (2) there exists Z such that Z is an instance of ingesting (3) the object transferred in Z is X (4) Z ends up at Y decreases likelihood of there exist Y (5) W such that Y is an instance of human (6) W is an instance of bleeding (7) W originates at Y |
| (=> (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 3309-3324 | 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 |
| (=> (instance ?I Ivabradine) (hasPurpose ?I (exists (?H ?IN ?P) (and (instance ?H Human) (instance ?P (PainFn Chest)) (experiencer ?P ?H) (instance ?IN Ingesting) (agent ?IN ?H) (earlier (WhenFn ?P) (WhenFn ?IN)) (not (exists (?P2) (and (instance ?P2 (PainFn Chest)) (experiencer ?P2 ?H) (earlier (WhenFn ?IN) (WhenFn ?P2))))))))) |
Medicine.kif 4874-4894 | If X is an instance of ivabradine, 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) W is an instance of pain in the chest (4) Y experiences W (5) Z is an instance of ingesting (6) Y is an agent of Z (7) the time of existence of W happens earlier than the time of existence of Z (8) there doesn't exist V such that V is an instance of pain in the chest (9) Y experiences V (10) the time of existence of Z happens earlier than the time of existence of V |
| (=> (and (attribute ?G ToxicandInfectiousSubstance) (or (instance ?G Substance) (instance ?G Microorganism))) (exists (?O ?P ?I ?CLASS) (and (or (instance ?O Human) (instance ?O Animal)) (orientation ?G ?O Near) (or (instance ?P Inhaling) (instance ?P Ingesting) (instance ?P Touching)) (agent ?P ?O) (patient ?P ?G) (causes ?P ?I) (patient ?I ?O) (instance ?I ?CLASS) (capability ?CLASS resource ?G) (or (subclass ?CLASS Injuring) (subclass ?CLASS Death))))) |
Transportation.kif 4704-4728 | If toxic and infectious substance is an attribute of X and X is an instance of substance or X is an instance of microorganism, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an instance of human or Y is an instance of animal (3) X is near to Y (4) Z is an instance of inhaling or Z is an instance of ingesting or Z is an instance of touching (5) Y is an agent of Z (6) X is a patient of Z (7) Z causes W (8) Y is a patient of W (9) W is an instance of V (10) X is capable of doing V as a resource (11) V is a subclass of injuring or V is a subclass of death |
| (=> (and (equal (MeasureFn ?Y McgPerKg) (PerFn ?M1 ?M2)) (equal ?M1 (MeasureFn ?NUM1 (MicroFn Gram))) (equal ?M2 (MeasureFn ?NUM2 (KiloFn Gram)))) (exists (?I ?B ?A) (and (instance ?I Ingesting) (instance ?B BiologicallyActiveSubstance) (instance ?A Organism) (patient ?I ?B) (agent ?I ?A) (weight ?B ?M1) (weight ?A ?M2)))) |
WMD.kif 818-835 | If equal X micrograms per kilogram(s) and the per of Y and Z, equal Y and W one millionth of a gram(s), and equal Z and V 1 thousand grams(s), then All of the following hold: (1) there exist U, T (2) S such that U is an instance of ingesting (3) T is an instance of biologically active substance (4) S is an instance of organism (5) T is a patient of U (6) S is an agent of U (7) Y is a weight of T (8) Z is a weight of S |
| (=> (diseaseMedicine ?DISEASE OralAntibiotic ?PROCESS) (subclass ?PROCESS Ingesting)) |
WMD.kif 1283-1285 | If X is disease treatment oral antibiotic for Y, then Y is a subclass of ingesting |
|
|
|