Pain - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Pain EnglishLanguage "A physical sensation of discomfort which can vary widely in intensity.")	Mid-level-ontology.kif 20419-20420
(externalImage Pain "http://upload.wikimedia.org/wikipedia/commons/0/0b/ Medieval_dentistry.jpg")	pictureList.kif 3167-3167
(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
(externalImage Pain "http://upload.wikimedia.org/wikipedia/commons/5/59/ Dental_surgery_aboard_USS_Eisenhower%2C_January_1990.JPEG")	pictureList.kif 2979-2979
(pathologyTreatment Pain Analgesic Ingesting)	Medicine.kif 6391-6391	A treatment for pain is painkiller administered via ingesting
(subclass Pain PathologicProcess)	Mid-level-ontology.kif 20418-20418	Pain is a subclass of pathologic process

appearance as argument number 2

(contraryAttribute Pleasure Pain)	emotion.kif 763-763	Pleasure is the opposite of pain
(rangeSubclass PainFn Pain)	Mid-level-ontology.kif 6900-6900	The values returned by pain are subclasses of pain
(termFormat ChineseLanguage Pain "痛")	domainEnglishFormat.kif 44029-44029	The values returned by pain are subclasses of pain
(termFormat ChineseTraditionalLanguage Pain "痛")	domainEnglishFormat.kif 44028-44028	The values returned by pain are subclasses of pain
(termFormat EnglishLanguage Pain "pain")	domainEnglishFormat.kif 44027-44027	The values returned by pain are subclasses 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 6454-6466

If AVPU pain status is an attribute of an agent holds during a time interval and a process is an instance of pain and the time of existence of the process takes place during the time interval and the agent experiences the process,
then there exists another process such that the other process is an instance of body motion and the agent experiences the other process and the time of existence of the other process takes place during the time interval and the process causes the other process

consequent

(=> (and (instance ?A Anesthetizing) (patient ?A ?P)) (holdsDuring (WhenFn ?A) (and (attribute ?P Unconscious) (not (attribute ?P Pain)))))	Medicine.kif 954-963	If a process is an instance of anesthetizing and an entity is a patient of the process, then unconscious is an attribute of the entity and pain is not an attribute of the entity holds during the time of existence of the process
(=> (and (instance ?A Anesthetizing) (patient ?A ?P)) (holdsDuring (WhenFn ?A) (or (attribute ?P Unconscious) (not (attribute ?P Pain)))))	Medicine.kif 937-946	If a process is an instance of anesthetizing and an entity is a patient of the process, then unconscious is an attribute of the entity or pain is not an attribute of the entity holds during the time of existence of the process
(=> (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 1583-1597	If a process is an instance of experiencing discomfort in the stomach and an agent experiences the process, then there exist another process, the other processAIN and an object such that the other process is an instance of perception and the time of existence of the other process takes place during the time of existence of the other processAIN and the other processAIN is an instance of pain and the agent experiences the other processAIN and the other process is a subprocess of the process and the agent is an agent of the other process and the object is a patient of the other process and the object is an instance of stomach and the object is a part of the agent
(=> (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 6328-6347	If a process is an instance of relieving pain and an object is a patient of the process, then there exists a physical such that immediately before the time of existence of the process overlaps the time of existence of the physical and the physical is an instance of pain and the physical is located at the object and there doesn't exist another physical such that immediately after the time of existence of the process overlaps the time of existence of the other physical and the other physical is an instance of pain and the other physical is located at the object
(=> (holdsDuring ?T (attribute ?H Fibromyalgia)) (exists (?P) (and (instance ?P Pain) (experiencer ?P ?H) (during ?T (WhenFn ?P)))))	Medicine.kif 4521-4529	If Fibromyalgia is an attribute of an agent holds during a time interval, then there exists a process such that the process is an instance of pain and the agent experiences the process and the time interval takes place during the time of existence of the process
(=> (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 10483-10494	If an entity is an instance of plant spinose structure, then the statement there exist another entity, a third entity and a fourth entity such that the other entity is an instance of inserting and the entity is an instrument for the other entity and the fourth entity is an instance of animal and the fourth entity is a patient of the other entity and the other entity causes the third entity and the third entity is an instance of pain and the fourth entity experiences the third entity has the modal force of possibility

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: