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 6348-6349 | |
(domain PainFn 1 BodyPart) | Mid-level-ontology.kif 6350-6350 | Die Zahl 1 Argument von PainFn ist ein fall von BodyPart %n{nicht} |
(instance PainFn UnaryFunction) | Mid-level-ontology.kif 6347-6347 | PainFn ist ein fall von UnaryFunction %n{nicht} |
(rangeSubclass PainFn Pain) | Mid-level-ontology.kif 6351-6351 | Die werte die PainFn zurueckgibt sind teilkategorien von Pain |
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 |
|
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 | 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 ist eine teilkategorie von PainFn BodyJoint |
(subclass ChestPain (PainFn Chest)) |
Medicine.kif 2016-2016 | ChestPain ist eine teilkategorie von PainFn Chest |
(subclass Headache (PainFn Head)) |
Mid-level-ontology.kif 19333-19333 | Headache ist eine teilkategorie von PainFn Head |
(subclass JointPain (PainFn BodyJoint)) |
Medicine.kif 2011-2011 | JointPain ist eine teilkategorie von PainFn BodyJoint |