Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| PainFn |
| appearance as argument number 1 |
|
| (instance PainFn UnaryFunction) | Mid-level-ontology.kif 7467-7467 | Pain is an instance of unary function |
| (documentation PainFn EnglishLanguage "A Function that returns that class of Pain affecting a particular BodyPart of an Animal.") | Mid-level-ontology.kif 7468-7469 | Pain is an instance of unary function |
| (domain PainFn 1 BodyPart) | Mid-level-ontology.kif 7470-7470 | The number 1 argument of pain is an instance of body part |
| (rangeSubclass PainFn Pain) | Mid-level-ontology.kif 7471-7471 | The values returned by pain are subclasses of pain |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage PainFn "pain") | Mid-level-ontology.kif 7472-7472 | |
| (format EnglishLanguage PainFn "pain in the %1") | Mid-level-ontology.kif 7473-7473 |
| antecedent |
|
|
| (=> (and (experiencer ?ORGANISM ?PAIN) (instance ?PAIN (PainFn ?P))) (exists (?PART) (and (part ?PART ?ORGANISM) (located ?PART ?P)))) |
Mid-level-ontology.kif 7475-7482 | If X experiences Y and X is an instance of pain in the Z, then there exists W such that W is a part of Y and W is located at Z |
| 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 989-1000 | If X is an instance of local anesthetizing, X is located at Y, Y is an instance of body part, Y is a part of Z, and Z is a patient of X, then pain in the Y is not an attribute of Z holds during the time of existence of X |
| (=> (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 3659-3675 | If All of the following hold: (1) X is an instance of injecting (2) Y is an instance of adalimumab (3) the object transferred in X is Y (4) X is located at Z (5) Z is an instance of body part (6) X ends up at W, then the statement there exists V such that pain in the Z is an attribute of W holds during V and V takes place during after the time of existence of X has the modal force of likely |
| (=> (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 4912-4932 | If X is an instance of ivabradine, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of human (3) W is an instance of pain in the chest (4) Y experiences W (5) Z is an instance of ingesting (6) Y is an agent of Z (7) the time of existence of W happens earlier than the time of existence of Z (8) there doesn't exist V such that V is an instance of pain in the chest (9) Y experiences V (10) the time of existence of Z happens earlier than the time of existence of V |
| statement |
|
|
| (subclass Headache (PainFn Head)) |
Mid-level-ontology.kif 21225-21225 | Headache is a subclass of pain in the head |
| (subclass JointPain (PainFn BodyJoint)) |
Medicine.kif 1998-1998 | Joint pain is a subclass of pain in the body joint |
| (subclass ChestPain (PainFn Chest)) |
Medicine.kif 2003-2003 | Chest pain is a subclass of pain in the chest |
| (subclass Arthritis (PainFn BodyJoint)) |
Medicine.kif 2224-2224 | Arthritis is a subclass of pain in the body joint |
| (pathologicSideEffect Cetirizine (PainFn Abdomen)) |
Medicine.kif 3744-3744 | pathologic side effect cetirizine and pain in the abdomen |
| (sideEffect Cetirizine (PainFn Abdomen)) |
Medicine.kif 3747-3747 | Pain in the abdomen is a side effect of taking cetirizine |
|