ImpairmentFn - Sigma Knowledge base Browser

appearance as argument number 1

(documentation ImpairmentFn EnglishLanguage "A faulty or compromised Process of the normal body.")	Merge.kif 13437-13438
(domainSubclass ImpairmentFn 1 PhysiologicProcess)	Merge.kif 13439-13439
(instance ImpairmentFn UnaryFunction)	Merge.kif 13436-13436
(rangeSubclass ImpairmentFn BiologicalProcess)	Merge.kif 13440-13440

appearance as argument number 2

(format EnglishLanguage ImpairmentFn "impairment in %1")	Merge.kif 13442-13442
(termFormat EnglishLanguage ImpairmentFn "impairment")	Merge.kif 13441-13441

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 13444-13454

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 5958-5961
(=> (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
(subclass BrainFog (ImpairmentFn Thinking))	Medicine.kif 2975-2975
(subclass BreathingDifficulty (ImpairmentFn Breathing))	Medicine.kif 2037-2037
(subclass Choking (ImpairmentFn Breathing))	Mid-level-ontology.kif 11720-11720
(subclass GastroIntestinalIssue (ImpairmentFn Digesting))	Medicine.kif 2116-2116
(subclass HeartPalpitation (ImpairmentFn HeartBeat))	Medicine.kif 4325-4325
(subclass MemoryLoss (ImpairmentFn Remembering))	Medicine.kif 2033-2033
(subclass ThinkingDifficulty (ImpairmentFn PsychologicalProcess))	Medicine.kif 2041-2041

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

KB Term:			Term intersection

English Word: