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 7285-7286
(domain PainFn 1 BodyPart)	Mid-level-ontology.kif 7287-7287	PainFn 的 1 数量是身体部位的 instance
(instance PainFn UnaryFunction)	Mid-level-ontology.kif 7284-7284	PainFn 是一元函数的 instance
(rangeSubclass PainFn Pain)	Mid-level-ontology.kif 7288-7288	PainFn 的所得值是痛的 subclass

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

如果施事体经历了过程和那个施事体是 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 1000-1011	如果过程是 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 3631-3647	如果转移是注射的 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 4898-4918	如果物理是 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 3717-3717	pathologicSideEffect Cetirizine and PainFn Abdomen
(sideEffect Cetirizine (PainFn Abdomen))	Medicine.kif 4293-4293	PainFn Abdomen 是服用 Cetirizine 的 side effect
(subclass Arthritis (PainFn BodyJoint))	Medicine.kif 2216-2216	Arthritis 是 PainFn 身体关节的 subclass
(subclass ChestPain (PainFn Chest))	Medicine.kif 2013-2013	ChestPain 是 PainFn Chest 的 subclass
(subclass Headache (PainFn Head))	Mid-level-ontology.kif 20904-20904	头痛是 PainFn 头的 subclass
(subclass JointPain (PainFn BodyJoint))	Medicine.kif 2008-2008	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: