| 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 11540-11541 | |
| (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 11538-11538 |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (biochemicalAgentAntidote NerveAgent Atropine Injecting) | WMD.kif 561-561 | |
| (diseaseMedicine Ondansetron Nausea Injecting) | Medicine.kif 5071-5071 | |
| (diseaseMedicine Ondansetron Vomiting Injecting) | Medicine.kif 5073-5073 | |
| (diseaseMedicine RheumatoidArthritis Clarithromycin Injecting) | Medicine.kif 3609-3609 | |
| (diseaseMedicine RheumatoidArthritis Sarilumab Injecting) | Medicine.kif 5254-5254 |
| 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 3613-3629 | |
| (=> (instance ?INJECT Injecting) (exists (?SUBSTANCE ?ANIMAL) (and (patient ?INJECT ?SUBSTANCE) (instance ?SUBSTANCE BiologicallyActiveSubstance) (attribute ?SUBSTANCE Liquid) (destination ?INJECT ?ANIMAL) (instance ?ANIMAL Animal)))) |
Merge.kif 11543-11551 |
| 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 6359-6371 | |
| (=> (instance ?EP EpiPen) (hasPurpose ?EP (exists (?I) (and (instance ?I Injecting) (instrument ?I ?EP))))) |
Medicine.kif 6351-6357 |
|
|
|