Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ImpairmentFn
ImpairmentFn

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


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

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


(format EnglishLanguage ImpairmentFn "impairment in %1") Merge.kif 13472-13472
(termFormat EnglishLanguage ImpairmentFn "impairment") Merge.kif 13471-13471

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 13474-13484

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
(=>
    (attribute ?H Asthma)
    (exists (?I)
        (and
            (instance ?I
                (ImpairmentFn Breathing))
            (experiencer ?I ?H))))
Medicine.kif 3417-3423
(=>
    (attribute ?H ChronicObstructivePulmonaryDisease)
    (instance ?H
        (ImpairmentFn Breathing)))
Mid-level-ontology.kif 5986-5989
(=>
    (attribute ?H Dysautonomia)
    (exists (?P)
        (and
            (experiencer ?P ?H)
            (instance ?P
                (ImpairmentFn AutonomicProcess)))))
Medicine.kif 4230-4236
(=>
    (holdsDuring ?T
        (attribute ?H Insomnia))
    (exists (?I)
        (and
            (instance ?I
                (ImpairmentFn Sleeping))
            (experiencer ?I ?H)
            (equal ?T
                (WhenFn ?I)))))
Medicine.kif 2105-2114
(=>
    (holdsDuring ?T
        (attribute ?H Pneumothorax))
    (exists (?I)
        (and
            (instance ?I
                (ImpairmentFn Breathing))
            (patient ?I ?H)
            (during ?T
                (WhenFn ?I)))))
Medicine.kif 812-821
(=>
    (instance ?A Anticoagulant)
    (hasPurpose ?A
        (exists (?M)
            (and
                (instance ?M Mammal)
                (experiencer ?M
                    (ImpairmentFn Clotting))))))
Medicine.kif 4853-4860

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 11748-11748 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 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