TreeView Knowledge Base Browser

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	Die Zahl 1 Argument von PainFn ist ein fall von BodyPart %n{nicht}
(instance PainFn UnaryFunction)	Mid-level-ontology.kif 6346-6346	PainFn ist ein fall von UnaryFunction %n{nicht}
(rangeSubclass PainFn Pain)	Mid-level-ontology.kif 6350-6350	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 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

Wenn AutonomousAgent erfaehrt Process %n{nicht} und ** AutonomousAgent ist ein fall von PainFn BodyPart %n{nicht},
dann es gibt ** BodyPartART um ** BodyPartART ist ein teil von ** Process %n{nicht} und ** BodyPartART befindet sich an %n{nicht}

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	Wenn Process ist ein fall von LocalAnesthetizing %n{nicht} und Process befindet sich an %n{nicht} und Object ist ein fall von BodyPart %n{nicht} und Object ist ein teil von Object %n{nicht} und Object ist ein patient von Process %n{nicht}, dann PainFn Object ist ein attribut von Object nicht haelt waehrend die zeit des Bestehens von Process %n{nicht}
(=> (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	Wenn Transfer ist ein fall von Injecting %n{nicht} und Object ist ein fall von Adalimumab %n{nicht} und objectTransferred Transfer and Object und Transfer befindet sich an %n{nicht} und Object ist ein fall von BodyPart %n{nicht} und Transfer endet an Entity %n{nicht}, dann die Aussage es gibt entity um PainFn Object ist ein attribut von Entity %n{nicht} haelt waehrend entity %n{nicht} und entity geschieht waehrend nach die zeit des Bestehens von Transfer %n{nicht} hat die modale Kraft von 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 4891-4911	Wenn Physical ist ein fall von Ivabradine %n{nicht}, dann Physical hat Zweck von es gibt entity, PhysicalN, and und entity um entity ist ein fall von Human %n{nicht} und entity ist ein fall von PainFn Chest %n{nicht} und entity erfaehrt entity %n{nicht} und PhysicalN ist ein fall von Ingesting %n{nicht} und PhysicalN ist der agent von entity %n{nicht} und die zeit des Bestehens von entity geschieht frueh als die zeit des Bestehens von PhysicalN %n{nicht} und es gibt nicht entity2 um entity2 ist ein fall von PainFn Chest %n{nicht} und entity erfaehrt entity2 %n{nicht} und die zeit des Bestehens von PhysicalN geschieht frueh als die zeit des Bestehens von ** entity2 %n{nicht} %n{nicht}

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 19332-19332	Headache ist eine teilkategorie von PainFn Head
(subclass JointPain (PainFn BodyJoint))	Medicine.kif 2011-2011	JointPain ist eine teilkategorie von PainFn BodyJoint

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

KB Term:			Term intersection

English Word: