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 7285-7286
(domain PainFn 1 BodyPart) Mid-level-ontology.kif 7287-7287
(instance PainFn UnaryFunction) Mid-level-ontology.kif 7284-7284
(rangeSubclass PainFn Pain) Mid-level-ontology.kif 7288-7288

appearance as argument number 2
-------------------------


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

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


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

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 1000-1011
(=>
    (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 3631-3647
(=>
    (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 4898-4918

statement
-------------------------


(pathologicSideEffect Cetirizine
    (PainFn Abdomen))		 Medicine.kif 3717-3717
(sideEffect Cetirizine
    (PainFn Abdomen))		 Medicine.kif 4293-4293
(subclass Arthritis
    (PainFn BodyJoint))		 Medicine.kif 2216-2216
(subclass ChestPain
    (PainFn Chest))		 Medicine.kif 2013-2013
(subclass Headache
    (PainFn Head))		 Mid-level-ontology.kif 20904-20904
(subclass JointPain
    (PainFn BodyJoint))		 Medicine.kif 2008-2008


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