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 では %n
(instance PainFn UnaryFunction)	Mid-level-ontology.kif 6347-6347	PainFn は 1変数関数の instance では %n
(rangeSubclass PainFn Pain)	Mid-level-ontology.kif 6351-6351	PainFn が返す値は Pain の subclasses では %n

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

AutonomousAgent が工程を experiences %n{ない} AutonomousAgent は PainFn 体の部分の instance では %n
体の部分ART 体の部分ART は工程の part では %n 体の部分ART は体の部分に located して %n

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 では %n 工程はオブジェクトに located して %n オブジェクトは体の部分の instance では %n オブジェクトはオブジェクトの part では %n オブジェクトは工程の patient では %n PainFn オブジェクトはオブジェクトの attribute ではは工程の time の existence の during holds %n{ない}
(=> (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	移動は Injecting の instance では %n オブジェクトは Adalimumab の instance では %n objectTransferred 移動 and オブジェクト移動はオブジェクトに located して %n オブジェクトは体の部分の instance では %n 移動はエンティティーに ends %n{ない} ステートメントエンティティー PainFn オブジェクトはエンティティーの attribute では %n はエンティティーの during holds %n{ない} エンティティーは移動の time の existence の after の during に takes %n{ない} には Likely の modal force がある
(=> (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 物理はエンティティー物理N and エンティティーエンティティーは人［人間］の instance では %n エンティティーは PainFn Chest の instance では %n エンティティーがエンティティーを experiences %n{ない} 物理N は摂取の instance では %n エンティティーは物理N の agent では %n エンティティーの time の existence は物理N の time の existence より earlier happens %n{ない} エンティティー2 エンティティー2 は PainFn Chest の instance では %n エンティティーがエンティティー2 を experiences %n{ない} 物理N の time の existence はエンティティー2 の time の existence より earlier happens %n{ない} の目的 %n{ない}

statement

(pathologicSideEffect Cetirizine (PainFn Abdomen))	Medicine.kif 3714-3714	pathologicSideEffect Cetirizine and PainFn Abdomen
(sideEffect Cetirizine (PainFn Abdomen))	Medicine.kif 4286-4286	sideEffect Cetirizine and PainFn Abdomen
(subclass Arthritis (PainFn BodyJoint))	Medicine.kif 2218-2218	Arthritis は PainFn BodyJoint の subclass では %n
(subclass ChestPain (PainFn Chest))	Medicine.kif 2016-2016	ChestPain は PainFn Chest の subclass では %n
(subclass Headache (PainFn Head))	Mid-level-ontology.kif 19333-19333	Headache は PainFn Head の subclass では %n
(subclass JointPain (PainFn BodyJoint))	Medicine.kif 2011-2011	JointPain は PainFn BodyJoint の subclass では %n

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: