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	域 PainFn, 1 and BodyPart
(instance PainFn UnaryFunction)	Mid-level-ontology.kif 6341-6341	例 PainFn and UnaryFunction
(rangeSubclass PainFn Pain)	Mid-level-ontology.kif 6345-6345	範圍子類 PainFn and 痛

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

體驗者 Process and AutonomousAgent 例 AutonomousAgent and PainFn BodyPart
BodyPartART 部分 BodyPartART and Process 位於 BodyPartART and BodyPart

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	例 Process and LocalAnesthetizing 位於 Process and Object 例 Object and BodyPart 部分 Object and Object 患者 Process and Object 持有期間何時 Process and attribute Object and PainFn Object
(=> (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	例 Transfer and 注射例 Object and Adalimumab objectTransferred Transfer and Object 位於 Transfer and Object 例 Object and BodyPart 目的地 Transfer and Entity 模態屬性 entity 持有期間 entity and attribute Entity and PainFn Object 期間 entity and 未來何時 Transfer and 容易
(=> (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	例 Physical and Ivabradine 有目的 Physical and entity PhysicalN and entity 例 entity and Human 例 entity and PainFn Chest 體驗者 entity and entity 例 PhysicalN and Ingesting agent PhysicalN and entity 早期何時 entity and 何時 PhysicalN entity 例 entity and PainFn Chest 體驗者 entity and entity 早期何時 PhysicalN and 何時 entity

statement

(pathologicSideEffect Cetirizine (PainFn Abdomen))	Medicine.kif 3714-3714	pathologicSideEffect Cetirizine and PainFn Abdomen
(sideEffect Cetirizine (PainFn Abdomen))	Medicine.kif 4286-4286	PainFn Abdomen 是服用 Cetirizine 的 side effect
(subclass Arthritis (PainFn BodyJoint))	Medicine.kif 2218-2218	子類 Arthritis and PainFn 身體關節
(subclass ChestPain (PainFn Chest))	Medicine.kif 2016-2016	子類 ChestPain and PainFn Chest
(subclass Headache (PainFn Head))	Mid-level-ontology.kif 19360-19360	子類頭痛 and PainFn 頭
(subclass JointPain (PainFn BodyJoint))	Medicine.kif 2011-2011	子類 JointPain and PainFn 身體關節

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: