Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Pain
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Pain PathologicProcess) | Mid-level-ontology.kif 21221-21221 | Pain is a subclass of pathologic process |
| (documentation Pain EnglishLanguage "A physical sensation of discomfort which can vary widely in intensity.") | Mid-level-ontology.kif 21222-21223 | Pain is a subclass of pathologic process |
| (pathologyTreatment Pain Analgesic Ingesting) | Medicine.kif 6439-6439 | A treatment for pain is painkiller administered via ingesting |
| (externalImage Pain "http://upload.wikimedia.org/wikipedia/commons/5/59/ Dental_surgery_aboard_USS_Eisenhower%2C_January_1990.JPEG") | pictureList.kif 2979-2979 | A treatment for pain is painkiller administered via ingesting |
| (externalImage Pain "http://upload.wikimedia.org/wikipedia/commons/4/4e/ M%C3%A9tiers_Dentiste%2C_humour_ann%C3%A9es_20.JPG") | pictureList.kif 3166-3166 | A treatment for pain is painkiller administered via ingesting |
| (externalImage Pain "http://upload.wikimedia.org/wikipedia/commons/0/0b/ Medieval_dentistry.jpg") | pictureList.kif 3167-3167 | A treatment for pain is painkiller administered via ingesting |
| appearance as argument number 2 |
|
|
| (rangeSubclass PainFn Pain) | Mid-level-ontology.kif 7471-7471 | The values returned by pain are subclasses of pain |
| (termFormat EnglishLanguage Pain "pain") | domainEnglishFormat.kif 43991-43991 | The values returned by pain are subclasses of pain |
| (termFormat ChineseTraditionalLanguage Pain "痛") | domainEnglishFormat.kif 43992-43992 | The values returned by pain are subclasses of pain |
| (termFormat ChineseLanguage Pain "痛") | domainEnglishFormat.kif 43993-43993 | The values returned by pain are subclasses of pain |
| (contraryAttribute Pleasure Pain) | emotion.kif 1182-1182 | Pleasure is the opposite of pain |
| antecedent |
|
|
| (=> (and (holdsDuring ?T (attribute ?H AVPUPainStatus)) (instance ?P Pain) (during (WhenFn ?P) ?T) (experiencer ?P ?H)) (exists (?BM) (and (instance ?BM BodyMotion) (experiencer ?BM ?H) (during (WhenFn ?BM) ?T) (causes ?P ?BM)))) |
Medicine.kif 6517-6529 | If AVPU pain status is an attribute of X holds during Y, Z is an instance of pain, the time of existence of Z takes place during Y, and X experiences Z, then there exists W such that W is an instance of body motion, X experiences W, the time of existence of W takes place during Y, and Z causes W |
| consequent |
|
|
| (=> (and (instance ?R RelievingPain) (patient ?R ?H)) (and (exists (?P1) (and (overlapsTemporally (WhenFn ?P1) (ImmediatePastFn (WhenFn ?R))) (instance ?P1 Pain) (located ?P1 ?H))) (not (exists (?P2) (and (overlapsTemporally (WhenFn ?P2) (ImmediateFutureFn (WhenFn ?R))) (instance ?P2 Pain) (located ?P2 ?H)))))) |
Mid-level-ontology.kif 6898-6917 | If X is an instance of relieving pain and Y is a patient of X, then there exists Z such that immediately before the time of existence of X overlaps the time of existence of Z, Z is an instance of pain, and Z is located at Y and there doesn't exist W such that immediately after the time of existence of X overlaps the time of existence of W, W is an instance of pain, and W is located at Y |
| (=> (instance ?SPINE PlantSpinoseStructure) (modalAttribute (exists (?I ?P ?A) (and (instance ?I Inserting) (instrument ?I ?SPINE) (instance ?A Animal) (patient ?I ?A) (causes ?I ?P) (instance ?P Pain) (experiencer ?P ?A))) Possibility)) |
Mid-level-ontology.kif 11078-11089 | If X is an instance of plant spinose structure, then All of the following hold: (1) the statement there exist Y, Z (2) W such that Y is an instance of inserting (3) X is an instrument for Y (4) W is an instance of animal (5) W is a patient of Y (6) Y causes Z (7) Z is an instance of pain (8) W experiences Z has the modal force of possibility |
| (=> (and (instance ?A Anesthetizing) (patient ?A ?P)) (holdsDuring (WhenFn ?A) (or (attribute ?P Unconscious) (not (attribute ?P Pain))))) |
Medicine.kif 929-938 | If X is an instance of anesthetizing and Y is a patient of X, then unconscious is an attribute of Y or pain is not an attribute of Y holds during the time of existence of X |
| (=> (and (instance ?A Anesthetizing) (patient ?A ?P)) (holdsDuring (WhenFn ?A) (and (attribute ?P Unconscious) (not (attribute ?P Pain))))) |
Medicine.kif 946-955 | If X is an instance of anesthetizing and Y is a patient of X, then unconscious is an attribute of Y and pain is not an attribute of Y holds during the time of existence of X |
| (=> (holdsDuring ?T (attribute ?H Fibromyalgia)) (exists (?P) (and (instance ?P Pain) (experiencer ?P ?H) (during ?T (WhenFn ?P))))) |
Medicine.kif 4554-4562 | If Fibromyalgia is an attribute of X holds during Y, then there exists Z such that Z is an instance of pain, X experiences Z, and Y takes place during the time of existence of Z |
| (=> (and (instance ?ELT ExperiencingDiscomfortInTheStomach) (experiencer ?ELT ?A)) (exists (?P ?PAIN ?T) (and (instance ?P Perception) (during (WhenFn ?P) (WhenFn ?PAIN)) (instance ?PAIN Pain) (experiencer ?PAIN ?A) (subProcess ?P ?ELT) (agent ?P ?A) (patient ?P ?T) (instance ?T Stomach) (part ?T ?A)))) |
emotion.kif 2420-2434 | If X is an instance of experiencing discomfort in the stomach and Y experiences X, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of perception (3) the time of existence of Z takes place during the time of existence of W (4) W is an instance of pain (5) Y experiences W (6) Z is a subprocess of X (7) Y is an agent of Z (8) V is a patient of Z (9) V is an instance of stomach (10) V is a part of Y |
|
