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 6897-6898
(domain PainFn 1 BodyPart)	Mid-level-ontology.kif 6899-6899	The number 1 argument of pain is an instance of body part
(instance PainFn UnaryFunction)	Mid-level-ontology.kif 6896-6896	Pain is an instance of unary function
(rangeSubclass PainFn Pain)	Mid-level-ontology.kif 6900-6900	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 6902-6902
(termFormat EnglishLanguage PainFn "pain")	Mid-level-ontology.kif 6901-6901

antecedent

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

Mid-level-ontology.kif 6906-6913

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 996-1007	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 3616-3632	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 4879-4899	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 3702-3702	pathologic side effect cetirizine and pain in the abdomen
(sideEffect Cetirizine (PainFn Abdomen))	Medicine.kif 4274-4274	Pain in the abdomen is a side effect of taking cetirizine
(subclass Arthritis (PainFn BodyJoint))	Medicine.kif 2206-2206	Arthritis is a subclass of pain in the body joint
(subclass ChestPain (PainFn Chest))	Medicine.kif 2004-2004	Chest pain is a subclass of pain in the chest
(subclass Headache (PainFn Head))	Mid-level-ontology.kif 20422-20422	Headache is a subclass of pain in the head
(subclass JointPain (PainFn BodyJoint))	Medicine.kif 1999-1999	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: