ImpairmentFn - Sigma Knowledge base Browser

appearance as argument number 1

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

appearance as argument number 2

(format EnglishLanguage ImpairmentFn "impairment in %1")	Merge.kif 13547-13547
(termFormat EnglishLanguage ImpairmentFn "impairment")	Merge.kif 13546-13546

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 13549-13559

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 755-773	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 3405-3411	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 6535-6538	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 4218-4224	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 2093-2102	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 800-809	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 4841-4848	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 4246-4246	Impairment in walking is a disease symptom of Parkinson's
(subclass BrainFog (ImpairmentFn Thinking))	Medicine.kif 2963-2963	Brain fog is a subclass of impairment in Thinking
(subclass BreathingDifficulty (ImpairmentFn Breathing))	Medicine.kif 2025-2025	Breathing difficulty is a subclass of impairment in breathing
(subclass Choking (ImpairmentFn Breathing))	Mid-level-ontology.kif 12644-12644	Choking is a subclass of impairment in breathing
(subclass GastroIntestinalIssue (ImpairmentFn Digesting))	Medicine.kif 2104-2104	Gastro-intestinal issue is a subclass of impairment in digesting
(subclass HeartPalpitation (ImpairmentFn HeartBeat))	Medicine.kif 4313-4313	Palpitations is a subclass of impairment in heart beat
(subclass MemoryLoss (ImpairmentFn Remembering))	Medicine.kif 2021-2021	Memory loss is a subclass of impairment in remembering
(subclass ThinkingDifficulty (ImpairmentFn PsychologicalProcess))	Medicine.kif 2029-2029	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: