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 13489-13490
(domainSubclass ImpairmentFn 1 PhysiologicProcess) Merge.kif 13491-13491 域子類 ImpairmentFn, 1 and PhysiologicProcess
(instance ImpairmentFn UnaryFunction) Merge.kif 13488-13488 例 ImpairmentFn and UnaryFunction
(rangeSubclass ImpairmentFn BiologicalProcess) Merge.kif 13492-13492 範圍子類 ImpairmentFn and BiologicalProcess

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


(format EnglishLanguage ImpairmentFn "impairment in %1") Merge.kif 13494-13494
(termFormat EnglishLanguage ImpairmentFn "impairment") Merge.kif 13493-13493

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 13496-13506

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 5985-5988
(=>
    (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 ImpairmentFn Walking 是 ParkinsonsDisease 的 disease 病狀
(subclass BrainFog
    (ImpairmentFn Thinking))		 Medicine.kif 2975-2975 子類 BrainFog and ImpairmentFn Thinking
(subclass BreathingDifficulty
    (ImpairmentFn Breathing))		 Medicine.kif 2037-2037 子類 BreathingDifficulty and ImpairmentFn Breathing
(subclass Choking
    (ImpairmentFn Breathing))		 Mid-level-ontology.kif 11747-11747 子類 Choking and ImpairmentFn Breathing
(subclass GastroIntestinalIssue
    (ImpairmentFn Digesting))		 Medicine.kif 2116-2116 子類 GastroIntestinalIssue and ImpairmentFn 消化
(subclass HeartPalpitation
    (ImpairmentFn HeartBeat))		 Medicine.kif 4325-4325 子類 HeartPalpitation and ImpairmentFn HeartBeat
(subclass MemoryLoss
    (ImpairmentFn Remembering))		 Medicine.kif 2033-2033 子類 MemoryLoss and ImpairmentFn Remembering
(subclass ThinkingDifficulty
    (ImpairmentFn PsychologicalProcess))		 Medicine.kif 2041-2041 子類 ThinkingDifficulty and ImpairmentFn PsychologicalProcess


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