TreeView Knowledge Base Browser

appearance as argument number 1

(documentation ImpairmentFn EnglishLanguage "A faulty or compromised Process of the normal body.")	Merge.kif 13513-13514
(domainSubclass ImpairmentFn 1 PhysiologicProcess)	Merge.kif 13515-13515	The number 1 argument of impairment is a subclass of physiologic process
(instance ImpairmentFn UnaryFunction)	Merge.kif 13512-13512	Impairment is an instance of unary function
(rangeSubclass ImpairmentFn BiologicalProcess)	Merge.kif 13516-13516	The values returned by impairment are subclasses of biological process

appearance as argument number 2

(format EnglishLanguage ImpairmentFn "impairment in %1")	Merge.kif 13518-13518
(termFormat EnglishLanguage ImpairmentFn "impairment")	Merge.kif 13517-13517

antecedent

(=>
    (and
        (instance ?SI
            (ImpairmentFn ?S))
        (instrument ?SI ?A))
    (exists (?A2)
        (and
            (not
                (equal ?A2 ?A))
            (capability ?S instrument ?A2)
            (not
                (capability ?S instrument ?A)))))

Merge.kif 13520-13530

If a process is an instance of impairment in another kind of process and an object is an instrument for the process,
then there exists the object2 such that the object2 is not equal to the object and the object2 is capable of doing another kind of process as a instrument and the object is not capable of doing the other kind of process as a instrument

consequent

(=> (and (instance ?C Cricothyroidotomy) (patient ?C ?O)) (hasPurpose ?C (and (holdsDuring (ImmediatePastFn (WhenFn ?C)) (exists (?B) (and (instance ?B (ImpairmentFn Breathing)) (patient ?B ?O)))) (not (holdsDuring (ImmediateFutureFn (WhenFn ?C)) (exists (?B) (and (instance ?B (ImpairmentFn Breathing)) (patient ?B ?O))))))))	Medicine.kif 767-785	If a process is an instance of cricothyrotomy and an entity is a patient of the process, then the process has the purpose there exists another entity such that the other entity is an instance of impairment in breathing and the entity is a patient of the other entity holds during immediately before the time of existence of the process and there exists the other entity such that the other entity is an instance of impairment in breathing and the entity is a patient of the other entity doesn't hold during immediately after the time of existence of the process
(=> (attribute ?H Asthma) (exists (?I) (and (instance ?I (ImpairmentFn Breathing)) (experiencer ?I ?H))))	Medicine.kif 3417-3423	If asthma is an attribute of an agent, then there exists a process such that the process is an instance of impairment in breathing and the agent experiences the process
(=> (attribute ?H ChronicObstructivePulmonaryDisease) (instance ?H (ImpairmentFn Breathing)))	Mid-level-ontology.kif 5980-5983	If COPD is an attribute of an object, then the object is an instance of impairment in breathing
(=> (attribute ?H Dysautonomia) (exists (?P) (and (experiencer ?P ?H) (instance ?P (ImpairmentFn AutonomicProcess)))))	Medicine.kif 4230-4236	If dysautonomia is an attribute of an agent, then there exists a process such that the agent experiences the process and the process is an instance of impairment in autonomic process
(=> (holdsDuring ?T (attribute ?H Insomnia)) (exists (?I) (and (instance ?I (ImpairmentFn Sleeping)) (experiencer ?I ?H) (equal ?T (WhenFn ?I)))))	Medicine.kif 2105-2114	If insomnia is an attribute of an agent holds during a time interval, then there exists a process such that the process is an instance of impairment in sleeping and the agent experiences the process and the time interval is equal to the time of existence of the process
(=> (holdsDuring ?T (attribute ?H Pneumothorax)) (exists (?I) (and (instance ?I (ImpairmentFn Breathing)) (patient ?I ?H) (during ?T (WhenFn ?I)))))	Medicine.kif 812-821	If collapsed lung is an attribute of an entity holds during a time interval, then there exists a process such that the process is an instance of impairment in breathing and the entity is a patient of the process and the time interval takes place during the time of existence of the process
(=> (instance ?A Anticoagulant) (hasPurpose ?A (exists (?M) (and (instance ?M Mammal) (experiencer ?M (ImpairmentFn Clotting))))))	Medicine.kif 4853-4860	If a physical is an instance of blood thinner, then the physical has the purpose there exists an entity such that the entity is an instance of mammal and impairment in coagulation experiences the entity

statement

(diseaseSymptom ParkinsonsDisease (ImpairmentFn Walking))	Medicine.kif 4258-4258	Impairment in walking is a disease symptom of Parkinson's
(subclass BrainFog (ImpairmentFn Thinking))	Medicine.kif 2975-2975	Brain fog is a subclass of impairment in Thinking
(subclass BreathingDifficulty (ImpairmentFn Breathing))	Medicine.kif 2037-2037	Breathing difficulty is a subclass of impairment in breathing
(subclass Choking (ImpairmentFn Breathing))	Mid-level-ontology.kif 11775-11775	Choking is a subclass of impairment in breathing
(subclass GastroIntestinalIssue (ImpairmentFn Digesting))	Medicine.kif 2116-2116	Gastro-intestinal issue is a subclass of impairment in digesting
(subclass HeartPalpitation (ImpairmentFn HeartBeat))	Medicine.kif 4325-4325	Palpitations is a subclass of impairment in heart beat
(subclass MemoryLoss (ImpairmentFn Remembering))	Medicine.kif 2033-2033	Memory loss is a subclass of impairment in remembering
(subclass ThinkingDifficulty (ImpairmentFn PsychologicalProcess))	Medicine.kif 2041-2041	Brain fog is a subclass of impairment in psychological process

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

KB Term:			Term intersection

English Word: