Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - ImpairmentFn
ImpairmentFn

appearance as argument number 1
-------------------------


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

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage ImpairmentFn "impairment") Merge.kif 13781-13781
(format EnglishLanguage ImpairmentFn "impairment in %1") Merge.kif 13782-13782

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 13784-13794 If X is an instance of impairment in Y and Z is an instrument for X, then there exists W such that equal W, Z, W is capable of doing Y as a instrument, and Z is not capable of doing Y as a instrument

consequent
-------------------------


(=>
    (attribute ?H ChronicObstructivePulmonaryDisease)
    (instance ?H
        (ImpairmentFn Breathing)))		 Mid-level-ontology.kif 7105-7108 If COPD is an attribute of X, then X is an instance of impairment in breathing
(=>
    (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 745-764 If X is an instance of cricothyrotomy and Y is a patient of X, then X has the purpose there exists Z such that Z is an instance of impairment in breathing, Y is a patient of Z holds during immediately before the time of existence of X, there doesn't exist Z such that Z is an instance of impairment in breathing, and Y is a patient of Z doesn't hold during immediately after the time of existence of X
(=>
    (holdsDuring ?T
        (attribute ?H Pneumothorax))
    (exists (?I)
        (and
            (instance ?I
                (ImpairmentFn Breathing))
            (patient ?I ?H)
            (during ?T
                (WhenFn ?I)))))		 Medicine.kif 791-800 If collapsed lung is an attribute of X holds during Y, then there exists Z such that Z is an instance of impairment in breathing, X is a patient of Z, and Y takes place during the time of existence of Z
(=>
    (holdsDuring ?T
        (attribute ?H Insomnia))
    (exists (?I)
        (and
            (instance ?I
                (ImpairmentFn Sleeping))
            (experiencer ?I ?H)
            (equal ?T
                (WhenFn ?I)))))		 Medicine.kif 2110-2119 If insomnia is an attribute of X holds during Y, then there exists Z such that Z is an instance of impairment in sleeping, X experiences Z, equal Y, and the time of existence of Z
(=>
    (attribute ?H Asthma)
    (exists (?I)
        (and
            (instance ?I
                (ImpairmentFn Breathing))
            (experiencer ?I ?H))))		 Medicine.kif 3448-3454 If asthma is an attribute of X, then there exists Y such that Y is an instance of impairment in breathing and X experiences Y
(=>
    (attribute ?H Dysautonomia)
    (exists (?P)
        (and
            (experiencer ?P ?H)
            (instance ?P
                (ImpairmentFn AutonomicProcess)))))		 Medicine.kif 4268-4274 If dysautonomia is an attribute of X, then there exists Y such that X experiences Y and Y is an instance of impairment in autonomic process
(=>
    (instance ?A Anticoagulant)
    (hasPurpose ?A
        (exists (?M)
            (and
                (instance ?M Mammal)
                (experiencer ?M
                    (ImpairmentFn Clotting))))))		 Medicine.kif 4874-4881 If X is an instance of blood thinner, then X has the purpose there exists Y such that Y is an instance of mammal and impairment in coagulation experiences Y

statement
-------------------------


(subclass Choking
    (ImpairmentFn Breathing))		 Mid-level-ontology.kif 13248-13248 Choking is a subclass of impairment in breathing
(subclass MemoryLoss
    (ImpairmentFn Remembering))		 Medicine.kif 2020-2020 Memory loss is a subclass of impairment in remembering
(subclass BreathingDifficulty
    (ImpairmentFn Breathing))		 Medicine.kif 2024-2024 Breathing difficulty is a subclass of impairment in breathing
(subclass ThinkingDifficulty
    (ImpairmentFn PsychologicalProcess))		 Medicine.kif 2028-2028 Brain fog is a subclass of impairment in psychological process
(subclass GastroIntestinalIssue
    (ImpairmentFn Digesting))		 Medicine.kif 2121-2121 Gastro-intestinal issue is a subclass of impairment in digesting
(subclass BrainFog
    (ImpairmentFn IntentionalPsychologicalProcess))		 Medicine.kif 2981-2981 Brain fog is a subclass of impairment in intentional psychological process
(diseaseSymptom ParkinsonsDisease
    (ImpairmentFn Walking))		 Medicine.kif 4296-4296 Impairment in walking is a disease symptom of Parkinson's
(subclass HeartPalpitation
    (ImpairmentFn HeartBeat))		 Medicine.kif 4346-4346 Palpitations is a subclass of impairment in heart beat


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners