ImpairmentFn - Sigma Knowledge base Browser

appearance as argument number 1

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

appearance as argument number 2

(format EnglishLanguage ImpairmentFn "impairment in %1")	Merge.kif 13611-13611
(termFormat EnglishLanguage ImpairmentFn "impairment")	Merge.kif 13610-13610

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 13613-13623

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 758-776	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 3418-3424	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 6942-6945	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 4237-4243	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 2102-2111	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 803-812	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 4860-4867	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 4265-4265	Impairment in walking is a disease symptom of Parkinson's
(subclass BrainFog (ImpairmentFn Thinking))	Medicine.kif 2976-2976	Brain fog is a subclass of impairment in Thinking
(subclass BreathingDifficulty (ImpairmentFn Breathing))	Medicine.kif 2034-2034	Breathing difficulty is a subclass of impairment in breathing
(subclass Choking (ImpairmentFn Breathing))	Mid-level-ontology.kif 13097-13097	Choking is a subclass of impairment in breathing
(subclass GastroIntestinalIssue (ImpairmentFn Digesting))	Medicine.kif 2113-2113	Gastro-intestinal issue is a subclass of impairment in digesting
(subclass HeartPalpitation (ImpairmentFn HeartBeat))	Medicine.kif 4332-4332	Palpitations is a subclass of impairment in heart beat
(subclass MemoryLoss (ImpairmentFn Remembering))	Medicine.kif 2030-2030	Memory loss is a subclass of impairment in remembering
(subclass ThinkingDifficulty (ImpairmentFn PsychologicalProcess))	Medicine.kif 2038-2038	Brain fog is a subclass of impairment in psychological process

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

KB Term:			Term intersection

English Word: