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 19588-19589
(externalImage Pain "http://upload.wikimedia.org/wikipedia/commons/0/0b/ Medieval_dentistry.jpg")	pictureList.kif 3168-3168
(externalImage Pain "http://upload.wikimedia.org/wikipedia/commons/4/4e/ M%C3%A9tiers-Dentiste%2C_humour-ann%C3%A9es_20.JPG")	pictureList.kif 3167-3167
(externalImage Pain "http://upload.wikimedia.org/wikipedia/commons/5/59/ Dental_surgery_aboard_USS_Eisenhower%2C_January_1990.JPEG")	pictureList.kif 2980-2980
(pathologyTreatment Pain Analgesic Ingesting)	Medicine.kif 6407-6407	A treatment for pain is painkiller administered via ingesting
(subclass Pain PathologicProcess)	Mid-level-ontology.kif 19587-19587	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 6345-6345	The values returned by pain are subclasses of pain
(termFormat ChineseLanguage Pain "痛")	domainEnglishFormat.kif 44036-44036	The values returned by pain are subclasses of pain
(termFormat ChineseTraditionalLanguage Pain "痛")	domainEnglishFormat.kif 44035-44035	The values returned by pain are subclasses of pain
(termFormat EnglishLanguage Pain "pain")	domainEnglishFormat.kif 44034-44034	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 6470-6482

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 966-975	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 949-958	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 5773-5792	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 4533-4541	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 9805-9816	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: