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 13606-13607
(domainSubclass ImpairmentFn 1 PhysiologicProcess) Merge.kif 13608-13608 Le nombre 1 argument de ImpairmentFn est une sous-classe de processus physiologique
(instance ImpairmentFn UnaryFunction) Merge.kif 13605-13605 ImpairmentFn est une instance de function unaire
(rangeSubclass ImpairmentFn BiologicalProcess) Merge.kif 13609-13609 Les valeurs retourn�es par ImpairmentFn sont des sous-classes de processus biologique

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

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
(=>
    (attribute ?H Asthma)
    (exists (?I)
        (and
            (instance ?I
                (ImpairmentFn Breathing))
            (experiencer ?I ?H))))		 Medicine.kif 3418-3424
(=>
    (attribute ?H ChronicObstructivePulmonaryDisease)
    (instance ?H
        (ImpairmentFn Breathing)))		 Mid-level-ontology.kif 6923-6926
(=>
    (attribute ?H Dysautonomia)
    (exists (?P)
        (and
            (experiencer ?P ?H)
            (instance ?P
                (ImpairmentFn AutonomicProcess)))))		 Medicine.kif 4237-4243
(=>
    (holdsDuring ?T
        (attribute ?H Insomnia))
    (exists (?I)
        (and
            (instance ?I
                (ImpairmentFn Sleeping))
            (experiencer ?I ?H)
            (equal ?T
                (WhenFn ?I)))))		 Medicine.kif 2102-2111
(=>
    (holdsDuring ?T
        (attribute ?H Pneumothorax))
    (exists (?I)
        (and
            (instance ?I
                (ImpairmentFn Breathing))
            (patient ?I ?H)
            (during ?T
                (WhenFn ?I)))))		 Medicine.kif 803-812
(=>
    (instance ?A Anticoagulant)
    (hasPurpose ?A
        (exists (?M)
            (and
                (instance ?M Mammal)
                (experiencer ?M
                    (ImpairmentFn Clotting))))))		 Medicine.kif 4860-4867

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


(diseaseSymptom ParkinsonsDisease
    (ImpairmentFn Walking))		 Medicine.kif 4265-4265 diseaseSymptom ParkinsonsDisease and ImpairmentFn marcher
(subclass BrainFog
    (ImpairmentFn Thinking))		 Medicine.kif 2976-2976 BrainFog est une sous-classe de ImpairmentFn Thinking
(subclass BreathingDifficulty
    (ImpairmentFn Breathing))		 Medicine.kif 2034-2034 BreathingDifficulty est une sous-classe de ImpairmentFn respirer
(subclass Choking
    (ImpairmentFn Breathing))		 Mid-level-ontology.kif 13079-13079 Choking est une sous-classe de ImpairmentFn respirer
(subclass GastroIntestinalIssue
    (ImpairmentFn Digesting))		 Medicine.kif 2113-2113 GastroIntestinalIssue est une sous-classe de ImpairmentFn Digesting
(subclass HeartPalpitation
    (ImpairmentFn HeartBeat))		 Medicine.kif 4332-4332 HeartPalpitation est une sous-classe de ImpairmentFn HeartBeat
(subclass MemoryLoss
    (ImpairmentFn Remembering))		 Medicine.kif 2030-2030 MemoryLoss est une sous-classe de ImpairmentFn se rappeler
(subclass ThinkingDifficulty
    (ImpairmentFn PsychologicalProcess))		 Medicine.kif 2038-2038 ThinkingDifficulty est une sous-classe de ImpairmentFn processus psychologique


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