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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ImpairmentFn

Sigma KEE - ImpairmentFn
ImpairmentFn

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


(documentation ImpairmentFn EnglishLanguage "A faulty or compromised Process of the normal body.") Merge.kif 13513-13514
(domainSubclass ImpairmentFn 1 PhysiologicProcess) Merge.kif 13515-13515 Le nombre 1 argument de ImpairmentFn est une sous-classe de processus physiologique
(instance ImpairmentFn UnaryFunction) Merge.kif 13512-13512 ImpairmentFn est une instance de function unaire
(rangeSubclass ImpairmentFn BiologicalProcess) Merge.kif 13516-13516 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 13518-13518
(termFormat EnglishLanguage ImpairmentFn "impairment") Merge.kif 13517-13517

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 13520-13530

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 5980-5983
(=>
    (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 diseaseSymptom ParkinsonsDisease and ImpairmentFn marcher
(subclass BrainFog
    (ImpairmentFn Thinking))
Medicine.kif 2975-2975 BrainFog est une sous-classe de ImpairmentFn Thinking
(subclass BreathingDifficulty
    (ImpairmentFn Breathing))
Medicine.kif 2037-2037 BreathingDifficulty est une sous-classe de ImpairmentFn respirer
(subclass Choking
    (ImpairmentFn Breathing))
Mid-level-ontology.kif 11775-11775 Choking est une sous-classe de ImpairmentFn respirer
(subclass GastroIntestinalIssue
    (ImpairmentFn Digesting))
Medicine.kif 2116-2116 GastroIntestinalIssue est une sous-classe de ImpairmentFn Digesting
(subclass HeartPalpitation
    (ImpairmentFn HeartBeat))
Medicine.kif 4325-4325 HeartPalpitation est une sous-classe de ImpairmentFn HeartBeat
(subclass MemoryLoss
    (ImpairmentFn Remembering))
Medicine.kif 2033-2033 MemoryLoss est une sous-classe de ImpairmentFn se rappeler
(subclass ThinkingDifficulty
    (ImpairmentFn PsychologicalProcess))
Medicine.kif 2041-2041 ThinkingDifficulty est une sous-classe de ImpairmentFn processus psychologique


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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