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 11405-11406 | |
(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 4735-4735 | |
(subclass Injecting Inserting) | Merge.kif 11403-11403 |
appearance as argument number 2 |
![]() |
appearance as argument number 3 |
![]() |
(biochemicalAgentAntidote NerveAgent Atropine Injecting) | WMD.kif 561-561 | |
(diseaseMedicine Ondansetron Nausea Injecting) | Medicine.kif 5086-5086 | |
(diseaseMedicine Ondansetron Vomiting Injecting) | Medicine.kif 5088-5088 | |
(diseaseMedicine RheumatoidArthritis Clarithromycin Injecting) | Medicine.kif 3624-3624 | |
(diseaseMedicine RheumatoidArthritis Sarilumab Injecting) | Medicine.kif 5269-5269 |
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 3628-3644 | |
(=> (instance ?INJECT Injecting) (exists (?SUBSTANCE ?ANIMAL) (and (patient ?INJECT ?SUBSTANCE) (instance ?SUBSTANCE BiologicallyActiveSubstance) (attribute ?SUBSTANCE Liquid) (destination ?INJECT ?ANIMAL) (instance ?ANIMAL Animal)))) |
Merge.kif 11408-11416 |
consequent |
![]() |
(=> (holdsDuring ?T (and (attribute ?H InfectiousDisease) (attribute ?H Diabetes) (attribute ?H (ImpairedBodyPartFn Foot)))) (holdsDuring ?T (diseaseMedicine InfectiousDisease Ertapenem Injecting))) |
Medicine.kif 1374-1381 | |
(=> (instance ?A InjectedAntibiotic) (hasPurpose ?A (exists (?I) (and (instance ?I Injecting) (objectTransferred ?I ?A))))) |
Medicine.kif 1347-1353 |
![]() |
![]() |