PainFn - Sigma Knowledge base Browser

appearance as argument number 1

(documentation PainFn EnglishLanguage "A Function that returns that class of Pain affecting a particular BodyPart of an Animal.")	Mid-level-ontology.kif 6342-6343
(domain PainFn 1 BodyPart)	Mid-level-ontology.kif 6344-6344	The number 1 argument of pain is an instance of body part
(instance PainFn UnaryFunction)	Mid-level-ontology.kif 6341-6341	Pain is an instance of unary function
(rangeSubclass PainFn Pain)	Mid-level-ontology.kif 6345-6345	The values returned by pain are subclasses of pain

appearance as argument number 2

(format EnglishLanguage PainFn "pain in the %1")	Mid-level-ontology.kif 6347-6347
(termFormat EnglishLanguage PainFn "pain")	Mid-level-ontology.kif 6346-6346

antecedent

(=>
    (and
        (experiencer ?ORGANISM ?PAIN)
        (instance ?PAIN
            (PainFn ?P)))
    (exists (?PART)
        (and
            (part ?PART ?ORGANISM)
            (located ?PART ?P))))

Mid-level-ontology.kif 6351-6358

If an agent experiences a process and the agent is an instance of pain in the a body part,
then there exists the body partART such that the body partART is a part of the process and the body partART is located at the body part

consequent

(=> (and (instance ?A LocalAnesthetizing) (located ?A ?BP) (instance ?BP BodyPart) (part ?BP ?P) (patient ?A ?P)) (holdsDuring (WhenFn ?A) (not (attribute ?P (PainFn ?BP)))))	Medicine.kif 1008-1019	If a process is an instance of local anesthetizing and the process is located at an object and the object is an instance of body part and the object is a part of another object and the other object is a patient of the process, then pain in the the object is not an attribute of the other object holds during the time of existence of the process
(=> (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 3628-3644	If a transfer is an instance of injecting and an object is an instance of adalimumab and the object transferred in the transfer is the object and the transfer is located at another object and the other object is an instance of body part and the transfer ends up at an entity, then the statement there exists another entity such that pain in the the other object is an attribute of the entity holds during the other entity and the other entity takes place during after the time of existence of the transfer has the modal force of likely
(=> (instance ?I Ivabradine) (hasPurpose ?I (exists (?H ?IN ?P) (and (instance ?H Human) (instance ?P (PainFn Chest)) (experiencer ?P ?H) (instance ?IN Ingesting) (agent ?IN ?H) (earlier (WhenFn ?P) (WhenFn ?IN)) (not (exists (?P2) (and (instance ?P2 (PainFn Chest)) (experiencer ?P2 ?H) (earlier (WhenFn ?IN) (WhenFn ?P2)))))))))	Medicine.kif 4891-4911	If a physical is an instance of ivabradine, then the physical has the purpose there exist an entity, the physicalN and a third entity such that the entity is an instance of human and the third entity is an instance of pain in the chest and the entity experiences the third entity and the physicalN is an instance of ingesting and the entity is an agent of the physicalN and the time of existence of the third entity happens earlier than the time of existence of the physicalN and there doesn't exist the third entity2 such that the third entity2 is an instance of pain in the chest and the entity experiences the third entity2 and the time of existence of the physicalN happens earlier than the time of existence of the third entity2

statement

(pathologicSideEffect Cetirizine (PainFn Abdomen))	Medicine.kif 3714-3714	pathologic side effect cetirizine and pain in the abdomen
(sideEffect Cetirizine (PainFn Abdomen))	Medicine.kif 4286-4286	Pain in the abdomen is a side effect of taking cetirizine
(subclass Arthritis (PainFn BodyJoint))	Medicine.kif 2218-2218	Arthritis is a subclass of pain in the body joint
(subclass ChestPain (PainFn Chest))	Medicine.kif 2016-2016	Chest pain is a subclass of pain in the chest
(subclass Headache (PainFn Head))	Mid-level-ontology.kif 19591-19591	Headache is a subclass of pain in the head
(subclass JointPain (PainFn BodyJoint))	Medicine.kif 2011-2011	Joint pain is a subclass of pain in the body joint

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: