TreeView 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 6348-6349
(domain PainFn 1 BodyPart)	Mid-level-ontology.kif 6350-6350	域 PainFn, 1 and BodyPart
(instance PainFn UnaryFunction)	Mid-level-ontology.kif 6347-6347	例 PainFn and UnaryFunction
(rangeSubclass PainFn Pain)	Mid-level-ontology.kif 6351-6351	範圍子類 PainFn and 痛

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

體驗者 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 19333-19333	子類頭痛 and PainFn 頭
(subclass JointPain (PainFn BodyJoint))	Medicine.kif 2011-2011	子類 JointPain and PainFn 身體關節

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: