PainFn |
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 6347-6348 | |
(domain PainFn 1 BodyPart) | Mid-level-ontology.kif 6349-6349 | |
(instance PainFn UnaryFunction) | Mid-level-ontology.kif 6346-6346 | |
(rangeSubclass PainFn Pain) | Mid-level-ontology.kif 6350-6350 |
appearance as argument number 2 |
(format EnglishLanguage PainFn "pain in the %1") | Mid-level-ontology.kif 6352-6352 | |
(termFormat EnglishLanguage PainFn "pain") | Mid-level-ontology.kif 6351-6351 |
antecedent |
(=> (and (experiencer ?ORGANISM ?PAIN) (instance ?PAIN (PainFn ?P))) (exists (?PART) (and (part ?PART ?ORGANISM) (located ?PART ?P)))) |
Mid-level-ontology.kif 6356-6363 |
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 | |
(=> (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 ?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 |
statement |
(pathologicSideEffect Cetirizine (PainFn Abdomen)) |
Medicine.kif 3714-3714 | |
(sideEffect Cetirizine (PainFn Abdomen)) |
Medicine.kif 4286-4286 | |
(subclass Arthritis (PainFn BodyJoint)) |
Medicine.kif 2218-2218 | |
(subclass ChestPain (PainFn Chest)) |
Medicine.kif 2016-2016 | |
(subclass Headache (PainFn Head)) |
Mid-level-ontology.kif 19332-19332 | |
(subclass JointPain (PainFn BodyJoint)) |
Medicine.kif 2011-2011 |