Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Injecting(injecting)
|  | infuse, inject, injection, shoot, shot |
| appearance as argument number 1 |
|
|
| (subclass Injecting Inserting) | Merge.kif 11709-11709 | Injecting is a subclass of inserting |
| (documentation Injecting EnglishLanguage "Inserting a BiologicallyActiveSubstance into an Animal or a Human with a syringe.") | Merge.kif 11711-11712 | Injecting is a subclass of inserting |
| (externalImage Injecting "http://upload.wikimedia.org/wikipedia/commons/ f/ fb/ Injection_23.JPG") | pictureList.kif 4734-4734 | Injecting is a subclass of inserting |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (diseaseMedicine RheumatoidArthritis Clarithromycin Injecting) | Medicine.kif 3655-3655 | Rheumatoid arthritis is disease treatment clarithromycin for injecting |
| (diseaseMedicine Ondansetron Nausea Injecting) | Medicine.kif 5107-5107 | Ondansetron is disease treatment nausea for injecting |
| (diseaseMedicine Ondansetron Vomiting Injecting) | Medicine.kif 5109-5109 | Ondansetron is disease treatment vomiting for injecting |
| (diseaseMedicine RheumatoidArthritis Sarilumab Injecting) | Medicine.kif 5291-5291 | Rheumatoid arthritis is disease treatment sarilumab for injecting |
| (biochemicalAgentAntidote NerveAgent Atropine Injecting) | WMD.kif 556-556 | Nerve agent biochemical agent antidote atropine for injecting |
| antecedent |
|
|
| (=> (instance ?INJECT Injecting) (exists (?SUBSTANCE ?ANIMAL) (and (patient ?INJECT ?SUBSTANCE) (instance ?SUBSTANCE BiologicallyActiveSubstance) (attribute ?SUBSTANCE Liquid) (destination ?INJECT ?ANIMAL) (instance ?ANIMAL Animal)))) |
Merge.kif 11714-11722 | If X is an instance of injecting, then there exist Y, Z such that Y is a patient of X, Y is an instance of biologically active substance, liquid is an attribute of Y, X ends up at Z, and Z is an instance of animal |
| (=> (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 3659-3675 | If All of the following hold: (1) X is an instance of injecting (2) Y is an instance of adalimumab (3) the object transferred in X is Y (4) X is located at Z (5) Z is an instance of body part (6) X ends up at W, then the statement there exists V such that pain in the Z is an attribute of W holds during V and V takes place during after the time of existence of X has the modal force of likely |
| consequent |
|
|
|