TreeView Knowledge Base Browser

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

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: