ImpairmentFn - Sigma Knowledge base Browser

appearance as argument number 1

(documentation ImpairmentFn EnglishLanguage "A faulty or compromised Process of the normal body.")	Merge.kif 13542-13543
(domainSubclass ImpairmentFn 1 PhysiologicProcess)	Merge.kif 13544-13544
(instance ImpairmentFn UnaryFunction)	Merge.kif 13541-13541
(rangeSubclass ImpairmentFn BiologicalProcess)	Merge.kif 13545-13545

appearance as argument number 2

(format EnglishLanguage ImpairmentFn "impairment in %1")	Merge.kif 13547-13547
(termFormat EnglishLanguage ImpairmentFn "impairment")	Merge.kif 13546-13546

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 13549-13559

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 755-773
(=> (attribute ?H Asthma) (exists (?I) (and (instance ?I (ImpairmentFn Breathing)) (experiencer ?I ?H))))	Medicine.kif 3405-3411
(=> (attribute ?H ChronicObstructivePulmonaryDisease) (instance ?H (ImpairmentFn Breathing)))	Mid-level-ontology.kif 6535-6538
(=> (attribute ?H Dysautonomia) (exists (?P) (and (experiencer ?P ?H) (instance ?P (ImpairmentFn AutonomicProcess)))))	Medicine.kif 4218-4224
(=> (holdsDuring ?T (attribute ?H Insomnia)) (exists (?I) (and (instance ?I (ImpairmentFn Sleeping)) (experiencer ?I ?H) (equal ?T (WhenFn ?I)))))	Medicine.kif 2093-2102
(=> (holdsDuring ?T (attribute ?H Pneumothorax)) (exists (?I) (and (instance ?I (ImpairmentFn Breathing)) (patient ?I ?H) (during ?T (WhenFn ?I)))))	Medicine.kif 800-809
(=> (instance ?A Anticoagulant) (hasPurpose ?A (exists (?M) (and (instance ?M Mammal) (experiencer ?M (ImpairmentFn Clotting))))))	Medicine.kif 4841-4848

statement

(diseaseSymptom ParkinsonsDisease (ImpairmentFn Walking))	Medicine.kif 4246-4246
(subclass BrainFog (ImpairmentFn Thinking))	Medicine.kif 2963-2963
(subclass BreathingDifficulty (ImpairmentFn Breathing))	Medicine.kif 2025-2025
(subclass Choking (ImpairmentFn Breathing))	Mid-level-ontology.kif 12644-12644
(subclass GastroIntestinalIssue (ImpairmentFn Digesting))	Medicine.kif 2104-2104
(subclass HeartPalpitation (ImpairmentFn HeartBeat))	Medicine.kif 4313-4313
(subclass MemoryLoss (ImpairmentFn Remembering))	Medicine.kif 2021-2021
(subclass ThinkingDifficulty (ImpairmentFn PsychologicalProcess))	Medicine.kif 2029-2029

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: