Ingesting | ![]() |
appearance as argument number 1 |
![]() |
(documentation Ingesting ChineseLanguage "这是 Animal 进食的 Process。") | chinese_format.kif 2908-2908 | |
(documentation Ingesting EnglishLanguage "The Process by which food or Medicine is taken into an Animal.") | Merge.kif 10156-10157 | |
(subclass Ingesting OrganismProcess) | Merge.kif 10154-10154 |
appearance as argument number 2 |
![]() |
appearance as argument number 3 |
![]() |
(diseaseTreatment Anthrax Ciprofloxacin Ingesting) | WMD.kif 1132-1132 | |
(diseaseTreatment Anthrax Doxycycline Ingesting) | WMD.kif 1131-1131 | |
(diseaseTreatment BurkholderiaMallei Ciprofloxacin Ingesting) | WMD.kif 359-359 | |
(diseaseTreatment LouseBorneTyphus OralAntibiotic Ingesting) | WMD.kif 273-273 | |
(diseaseTreatment Pertussis Antibiotic Ingesting) | WMD.kif 1570-1570 | |
(diseaseTreatment RockyMountainSpottedFever OralAntibiotic Ingesting) | WMD.kif 261-261 | |
(diseaseTreatment Tuberculosis OralAntibiotic Ingesting) | WMD.kif 1723-1723 | |
(diseaseTreatment TyphoidFever Antibiotic Ingesting) | WMD.kif 1350-1350 | |
(pathologyTreatment AllergicReaction Antihistamine Ingesting) | Mid-level-ontology.kif 9394-9394 |
antecedent |
![]() |
consequent |
![]() |
(=> (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 823-840 | |
(=> (and (instance ?DIGEST Digesting) (agent ?DIGEST ?ORGANISM)) (exists (?INGEST) (and (instance ?INGEST Ingesting) (agent ?INGEST ?ORGANISM) (overlapsTemporally (WhenFn ?INGEST) (WhenFn ?DIGEST))))) |
Merge.kif 10196-10204 | |
(=> (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 524-538 | |
(=> (diseaseTreatment ?DISEASE OralAntibiotic ?PROCESS) (subclass ?PROCESS Ingesting)) |
WMD.kif 1279-1281 | |
(=> (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 9265-9277 | |
(=> (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 9285-9297 | |
(=> (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 11898-11918 | |
(=> (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 8866-8874 | |
(=> (instance ?S Swallowing) (exists (?I) (and (instance ?I Ingesting) (subProcess ?I ?S)))) |
Mid-level-ontology.kif 6271-6276 | |
(=> (instance ?T Tableware) (hasPurpose ?T (exists (?I) (and (instance ?I Ingesting) (instrument ?I ?T))))) |
Mid-level-ontology.kif 2207-2213 |
![]() |
![]() |