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 10249-10250 | |
(documentation Ingesting JapaneseLanguage "食べ物が Animal へ持ち込まれる Process。") | japanese_format.kif 1657-1657 | |
(subclass Ingesting OrganismProcess) | Merge.kif 10246-10246 | Ingesting ist eine teilkategorie von OrganismProcess |
(subclass Ingesting Transfer) | Merge.kif 10247-10247 | Ingesting ist eine teilkategorie von Transfer |
appearance as argument number 2 |
appearance as argument number 3 |
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 10289-10297 |
|
(=> (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 2548-2562 |
|
(=> (diseaseMedicine ?DISEASE OralAntibiotic ?PROCESS) (subclass ?PROCESS Ingesting)) |
WMD.kif 1288-1290 |
|
(=> (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 3317-3332 |
|
(=> (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 9697-9709 |
|
(=> (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 9717-9729 |
|
(=> (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 4891-4911 |
|
(=> (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 12421-12441 |
|
(=> (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 9255-9263 |
|
(=> (instance ?S Swallowing) (exists (?I) (and (instance ?I Ingesting) (subProcess ?I ?S)))) |
Mid-level-ontology.kif 6610-6615 |
|
(=> (instance ?T Tableware) (hasPurpose ?T (exists (?I) (and (instance ?I Ingesting) (instrument ?I ?T))))) |
Mid-level-ontology.kif 2252-2258 |
|
(=> (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 1050-1066 |
|