Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Needle
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Needle MedicalDevice) | Medicine.kif 898-898 | Needle is a subclass of medical device |
| (subclass Needle Tube) | Medicine.kif 899-899 | Needle is a subclass of tube |
| (documentation Needle EnglishLanguage "A needle is a MedicalDevice intended for Inserting or Removing a Fluid Inside a patient.") | Medicine.kif 900-901 | Needle is a subclass of tube |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Needle "needle") | Medicine.kif 902-902 | |
| (subclass DecompressionNeedle Needle) | Medicine.kif 6076-6076 | Decompression needle is a subclass of needle |
| antecedent |
|
|
| (=> (instance ?N Needle) (hasPurpose ?N (exists (?H ?TP ?F ?RI) (and (instance ?H Animal) (instance ?TP TherapeuticProcss) (attribute ?F Fluid) (patient ?TP ?H) (instrument ?TP ?N) (or (instance ?RI Removing) (instance ?RI Inserting)) (subProcess ?RI ?TP) (objectTransferred ?RI ?F))))) |
Medicine.kif 904-918 | If X is an instance of needle, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of animal (3) Z is an instance of TherapeuticProcss (4) fluid is an attribute of W (5) Y is a patient of Z (6) X is an instrument for Z (7) V is an instance of removing or V is an instance of inserting (8) V is a subprocess of Z (9) the object transferred in V is W |
| consequent |
|
|
| (=> (and (instance ?T Thoracentesis) (patient ?T ?H)) (exists (?I ?O ?IN ?L ?C ?F) (and (instance ?I Inserting) (subProcess ?I ?T) (objectTransferred ?I ?N) (origin ?I ?O) (destination ?I ?IN) (instance ?N Needle) (attribute ?F Fluid) (objectTransferred ?T ?F) (destination ?F ?O) (instance ?L Lung) (instance ?C Chest) (part ?L ?H) (part ?C ?H) (origin ?T ?IN) (destination ?T ?O) (between ?L ?IN ?C) (orientation ?O ?H Outside)))) |
Medicine.kif 874-896 | If X is an instance of needle decompression and Y is a patient of X, then All of the following hold: (1) there exist Z, W,, , V,, , U,, , T (2) S such that Z is an instance of inserting (3) Z is a subprocess of X (4) the object transferred in Z is R (5) Z originates at W (6) Z ends up at V (7) R is an instance of needle (8) fluid is an attribute of S (9) the object transferred in X is S (10) S ends up at W (11) U is an instance of lung (12) T is an instance of chest (13) U is a part of Y (14) T is a part of Y (15) X originates at V (16) X ends up at W (17) V is between U (18) T (19) W is outside of to Y |
| (=> (instance ?EP EpiPen) (exists (?N ?A) (and (instance ?N Needle) (part ?N ?EP) (instance ?A Adrenaline) (part ?A ?EP)))) |
Medicine.kif 6393-6400 | If X is an instance of adrenaline autoinjector, then there exist Y, Z such that Y is an instance of needle, Y is a part of X, Z is an instance of epinephrine, and Z is a part of X |
|