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

antecedent

(=>
    (and
        (experiencer ?ORGANISM ?PAIN)
        (instance ?PAIN
            (PainFn ?P)))
    (exists (?PART)
        (and
            (part ?PART ?ORGANISM)
            (located ?PART ?P))))

Mid-level-ontology.kif 6357-6364

如果施事体经历了过程和那个施事体是 PainFn 身体部位的 instance，
然后有存在那个身体部位ART 这样那个身体部位ART 是那个过程的 part 和那个身体部位ART 是 located 在那个身体部位

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	如果过程是 LocalAnesthetizing 的 instance 和那个过程是 located 在客体和那个客体是身体部位的 instance 和那个客体是另一个客体的 part 和那个另外客体是那个过程的 patient，然后 PainFn 那个客体不是那个另外客体的 attribute 在那个过程出现的 time holdsDuring
(=> (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 和客体是 Adalimumab 的 instance 和 objectTransferred 那个转移 and 那个客体和那个转移是 located 在另一个客体和那个另外客体是身体部位的 instance 和那个转移在实体结束，然后有存在另一个实体这样 PainFn 那个另外客体是那个实体的 attribute 在那个另外实体 holdsDuring 和那个另外实体在那个转移出现的 time 之后时段内发生的声明 has 容易的语气
(=> (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	如果物理是 Ivabradine 的 instance，然后那个物理的目的是有存在实体，那个物理N， and 和第三实体这样那个实体是人类的 instance 和那个第三实体是 PainFn Chest 的 instance 和那个实体经历了那个第三实体和那个物理N 是消化的 instance 和那个实体是那个物理N 的 agent 和那个第三实体出现的 time 比那个物理N 出现的 time发生的earlier 和不存在那个第三实体2 这样那个第三实体2 是 PainFn Chest 的 instance 和那个实体经历了那个第三实体2 和那个物理N 出现的 time 比那个第三实体2 出现的 time发生的earlier

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 是 PainFn 身体关节的 subclass
(subclass ChestPain (PainFn Chest))	Medicine.kif 2016-2016	ChestPain 是 PainFn Chest 的 subclass
(subclass Headache (PainFn Head))	Mid-level-ontology.kif 19333-19333	头痛是 PainFn 头的 subclass
(subclass JointPain (PainFn BodyJoint))	Medicine.kif 2011-2011	JointPain 是 PainFn 身体关节的 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

KB Term:			Term intersection

English Word: