Injecting | ![]() |
appearance as argument number 1 |
![]() |
(documentation Injecting ChineseLanguage "这是用注射器把一样 BiologicallyActiveSubstance Inserting 进一个 Animal 或 Human 体内。") | chinese_format.kif 3040-3041 | |
(documentation Injecting EnglishLanguage "Inserting a BiologicallyActiveSubstance into an Animal or a Human with a syringe.") | Merge.kif 11570-11571 | |
(documentation Injecting JapaneseLanguage "Animal または注射器を持つ Human に BiologicallyActiveSubstance を Inserting 。") | japanese_format.kif 1808-1809 | |
(externalImage Injecting "http://upload.wikimedia.org/wikipedia/commons/ f/ fb/ Injection_23.JPG") | pictureList.kif 4734-4734 | |
(subclass Injecting Inserting) | Merge.kif 11568-11568 |
appearance as argument number 2 |
![]() |
appearance as argument number 3 |
![]() |
(biochemicalAgentAntidote NerveAgent Atropine Injecting) | WMD.kif 561-561 | |
(diseaseMedicine Ondansetron Nausea Injecting) | Medicine.kif 5093-5093 | |
(diseaseMedicine Ondansetron Vomiting Injecting) | Medicine.kif 5095-5095 | |
(diseaseMedicine RheumatoidArthritis Clarithromycin Injecting) | Medicine.kif 3627-3627 | |
(diseaseMedicine RheumatoidArthritis Sarilumab Injecting) | Medicine.kif 5278-5278 |
antecedent |
![]() |
(=> (and (instance ?I Injecting) (instance ?A Adalimumab) (objectTransferred ?I ?A) (located ?I ?BP) (instance ?BP BodyPart) (destination ?I ?H)) (modalAttribute (exists (?T) (and (holdsDuring ?T (attribute ?H (PainFn ?BP))) (during ?T (FutureFn (WhenFn ?I))))) Likely)) |
Medicine.kif 3631-3647 | |
(=> (instance ?INJECT Injecting) (exists (?SUBSTANCE ?ANIMAL) (and (patient ?INJECT ?SUBSTANCE) (instance ?SUBSTANCE BiologicallyActiveSubstance) (attribute ?SUBSTANCE Liquid) (destination ?INJECT ?ANIMAL) (instance ?ANIMAL Animal)))) |
Merge.kif 11573-11581 |
consequent |
![]() |
(=> (holdsDuring ?T (and (attribute ?H InfectiousDisease) (attribute ?H Diabetes) (attribute ?H (ImpairedBodyPartFn Foot)))) (holdsDuring ?T (diseaseMedicine InfectiousDisease Ertapenem Injecting))) |
Medicine.kif 1366-1373 | |
(=> (instance ?A InjectedAntibiotic) (hasPurpose ?A (exists (?I) (and (instance ?I Injecting) (objectTransferred ?I ?A))))) |
Medicine.kif 1339-1345 | |
(=> (instance ?EP EpiPen) (hasPurpose ?EP (exists (?I ?H ?A) (and (instance ?I Injecting) (instrument ?I ?EP) (destination ?I ?H) (experiencer ?A ?H) (instance ?A Anaphylaxis) (during (WhenFn ?I) (WhenFn ?A)))))) |
Medicine.kif 6396-6408 | |
(=> (instance ?EP EpiPen) (hasPurpose ?EP (exists (?I) (and (instance ?I Injecting) (instrument ?I ?EP))))) |
Medicine.kif 6388-6394 |
![]() |
![]() |