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 11491-11492 | |
(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 11489-11489 |
appearance as argument number 2 |
![]() |
appearance as argument number 3 |
![]() |
(biochemicalAgentAntidote NerveAgent Atropine Injecting) | WMD.kif 561-561 | |
(diseaseMedicine Ondansetron Nausea Injecting) | Medicine.kif 5074-5074 | |
(diseaseMedicine Ondansetron Vomiting Injecting) | Medicine.kif 5076-5076 | |
(diseaseMedicine RheumatoidArthritis Clarithromycin Injecting) | Medicine.kif 3612-3612 | |
(diseaseMedicine RheumatoidArthritis Sarilumab Injecting) | Medicine.kif 5257-5257 |
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 3616-3632 | |
(=> (instance ?INJECT Injecting) (exists (?SUBSTANCE ?ANIMAL) (and (patient ?INJECT ?SUBSTANCE) (instance ?SUBSTANCE BiologicallyActiveSubstance) (attribute ?SUBSTANCE Liquid) (destination ?INJECT ?ANIMAL) (instance ?ANIMAL Animal)))) |
Merge.kif 11494-11502 |
consequent |
![]() |
(=> (holdsDuring ?T (and (attribute ?H InfectiousDisease) (attribute ?H Diabetes) (attribute ?H (ImpairedBodyPartFn Foot)))) (holdsDuring ?T (diseaseMedicine InfectiousDisease Ertapenem Injecting))) |
Medicine.kif 1362-1369 | |
(=> (instance ?A InjectedAntibiotic) (hasPurpose ?A (exists (?I) (and (instance ?I Injecting) (objectTransferred ?I ?A))))) |
Medicine.kif 1335-1341 | |
(=> (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 6362-6374 | |
(=> (instance ?EP EpiPen) (hasPurpose ?EP (exists (?I) (and (instance ?I Injecting) (instrument ?I ?EP))))) |
Medicine.kif 6354-6360 |
![]() |
![]() |