Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  PainFn

Sigma KEE - PainFn
PainFn

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 6348-6349
(domain PainFn 1 BodyPart) Mid-level-ontology.kif 6350-6350 The number 1 argument of pain is an instance of body part
(instance PainFn UnaryFunction) Mid-level-ontology.kif 6347-6347 Pain is an instance of unary function
(rangeSubclass PainFn Pain) Mid-level-ontology.kif 6351-6351 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 6353-6353
(termFormat EnglishLanguage PainFn "pain") Mid-level-ontology.kif 6352-6352

antecedent
-------------------------


(=>
    (and
        (experiencer ?ORGANISM ?PAIN)
        (instance ?PAIN
            (PainFn ?P)))
    (exists (?PART)
        (and
            (part ?PART ?ORGANISM)
            (located ?PART ?P))))
Mid-level-ontology.kif 6357-6364

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
(=>
    (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
(=>
    (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

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 19333-19333 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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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