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 10201-10202 | |
(subclass Ingesting OrganismProcess) | Merge.kif 10198-10198 | |
(subclass Ingesting Transfer) | Merge.kif 10199-10199 |
appearance as argument number 2 |
![]() |
appearance as argument number 3 |
![]() |
(diseaseTreatment Anthrax Ciprofloxacin Ingesting) | WMD.kif 1140-1140 | |
(diseaseTreatment Anthrax Doxycycline Ingesting) | WMD.kif 1139-1139 | |
(diseaseTreatment BurkholderiaMallei Ciprofloxacin Ingesting) | WMD.kif 359-359 | |
(diseaseTreatment LouseBorneTyphus OralAntibiotic Ingesting) | WMD.kif 273-273 | |
(diseaseTreatment Pertussis Antibiotic Ingesting) | WMD.kif 1579-1579 | |
(diseaseTreatment RockyMountainSpottedFever OralAntibiotic Ingesting) | WMD.kif 261-261 | |
(diseaseTreatment Tuberculosis OralAntibiotic Ingesting) | WMD.kif 1732-1732 | |
(diseaseTreatment TyphoidFever Antibiotic Ingesting) | WMD.kif 1359-1359 | |
(pathologyTreatment AllergicReaction Antihistamine Ingesting) | Mid-level-ontology.kif 9755-9755 |
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 10241-10249 | |
(=> (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 1288-1290 | |
(=> (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 9626-9638 | |
(=> (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 9646-9658 | |
(=> (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 12269-12289 | |
(=> (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 9224-9232 | |
(=> (instance ?S Swallowing) (exists (?I) (and (instance ?I Ingesting) (subProcess ?I ?S)))) |
Mid-level-ontology.kif 6570-6575 | |
(=> (instance ?T Tableware) (hasPurpose ?T (exists (?I) (and (instance ?I Ingesting) (instrument ?I ?T))))) |
Mid-level-ontology.kif 2217-2223 |
![]() |
![]() |