| 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 7311-7312 | |
| (domain PainFn 1 BodyPart) | Mid-level-ontology.kif 7313-7313 | |
| (instance PainFn UnaryFunction) | Mid-level-ontology.kif 7310-7310 | |
| (rangeSubclass PainFn Pain) | Mid-level-ontology.kif 7314-7314 |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage PainFn "pain in the %1") | Mid-level-ontology.kif 7316-7316 | |
| (termFormat EnglishLanguage PainFn "pain") | Mid-level-ontology.kif 7315-7315 |
| antecedent |
|
|
| (=> (and (experiencer ?ORGANISM ?PAIN) (instance ?PAIN (PainFn ?P))) (exists (?PART) (and (part ?PART ?ORGANISM) (located ?PART ?P)))) |
Mid-level-ontology.kif 7320-7327 |
| 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 996-1007 | |
| (=> (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 3613-3629 | |
| (=> (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 4876-4896 |
| statement |
|
|
| (pathologicSideEffect Cetirizine (PainFn Abdomen)) |
Medicine.kif 3699-3699 | |
| (sideEffect Cetirizine (PainFn Abdomen)) |
Medicine.kif 4271-4271 | |
| (subclass Arthritis (PainFn BodyJoint)) |
Medicine.kif 2203-2203 | |
| (subclass ChestPain (PainFn Chest)) |
Medicine.kif 2001-2001 | |
| (subclass Headache (PainFn Head)) |
Mid-level-ontology.kif 20911-20911 | |
| (subclass JointPain (PainFn BodyJoint)) |
Medicine.kif 1996-1996 |
|
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