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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 PainFn 的 1 数量 是 身体部位instance
(instance PainFn UnaryFunction) Mid-level-ontology.kif 6347-6347 PainFn一元函数instance
(rangeSubclass PainFn Pain) Mid-level-ontology.kif 6351-6351 PainFn 的所得值 是 subclass

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


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


        (instance ?A LocalAnesthetizing)
        (located ?A ?BP)
        (instance ?BP BodyPart)
        (part ?BP ?P)
        (patient ?A ?P))
        (WhenFn ?A)
            (attribute ?P
                (PainFn ?BP)))))
Medicine.kif 1008-1019
        (instance ?I Injecting)
        (instance ?A Adalimumab)
        (objectTransferred ?I ?A)
        (located ?I ?BP)
        (instance ?BP BodyPart)
        (destination ?I ?H))
        (exists (?T)
                (holdsDuring ?T
                    (attribute ?H
                        (PainFn ?BP)))
                (during ?T
                        (WhenFn ?I))))) Likely))
Medicine.kif 3628-3644
    (instance ?I Ivabradine)
    (hasPurpose ?I
        (exists (?H ?IN ?P)
                (instance ?H Human)
                (instance ?P
                    (PainFn Chest))
                (experiencer ?P ?H)
                (instance ?IN Ingesting)
                (agent ?IN ?H)
                    (WhenFn ?P)
                    (WhenFn ?IN))
                    (exists (?P2)
                            (instance ?P2
                                (PainFn Chest))
                            (experiencer ?P2 ?H)
                                (WhenFn ?IN)
                                (WhenFn ?P2)))))))))
Medicine.kif 4891-4911


(pathologicSideEffect Cetirizine
    (PainFn Abdomen))
Medicine.kif 3714-3714 pathologicSideEffect Cetirizine and PainFn Abdomen
(sideEffect Cetirizine
    (PainFn Abdomen))
Medicine.kif 4286-4286 PainFn Abdomen 是服用 Cetirizineside effect
(subclass Arthritis
    (PainFn BodyJoint))
Medicine.kif 2218-2218 ArthritisPainFn 身体关节subclass
(subclass ChestPain
    (PainFn Chest))
Medicine.kif 2016-2016 ChestPainPainFn Chestsubclass
(subclass Headache
    (PainFn Head))
Mid-level-ontology.kif 19333-19333 头痛PainFn subclass
(subclass JointPain
    (PainFn BodyJoint))
Medicine.kif 2011-2011 JointPainPainFn 身体关节subclass

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