ImpairmentFn - Sigma Knowledge base Browser

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 数量是生理过程的 subclass
(instance ImpairmentFn UnaryFunction)	Merge.kif 13488-13488	ImpairmentFn 是一元函数的 instance
(rangeSubclass ImpairmentFn BiologicalProcess)	Merge.kif 13492-13492	ImpairmentFn 的所得值是生物过程的 subclass

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

如果过程是 ImpairmentFn 另一个有点过程的 instance 和客体是导致那个过程的 instrument，
然后有存在那个客体2 这样那个客体2 不 equal 那个客体和那个客体2 能够担当工具的角色做另一个有点过程和那个客体不能够担当工具的角色做那个另外有点过程

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	如果过程是 Cricothyroidotomy 的 instance 和实体是那个过程的 patient，然后那个过程的目的是有存在另一个实体这样那个另外实体是 ImpairmentFn 呼吸的 instance 和那个实体是那个另外实体的 patient 在紧接那个过程出现的 time before holdsDuring 和有存在那个另外实体这样那个另外实体是 ImpairmentFn 呼吸的 instance 和那个实体是那个另外实体的 patient doesn't 在紧接那个过程出现的 time after holdsDuring
(=> (attribute ?H Asthma) (exists (?I) (and (instance ?I (ImpairmentFn Breathing)) (experiencer ?I ?H))))	Medicine.kif 3417-3423	如果 Asthma 是施事体的 attribute，然后有存在过程这样那个过程是 ImpairmentFn 呼吸的 instance 和那个施事体经历了那个过程
(=> (attribute ?H ChronicObstructivePulmonaryDisease) (instance ?H (ImpairmentFn Breathing)))	Mid-level-ontology.kif 5985-5988	如果 ChronicObstructivePulmonaryDisease 是客体的 attribute，然后那个客体是 ImpairmentFn 呼吸的 instance
(=> (attribute ?H Dysautonomia) (exists (?P) (and (experiencer ?P ?H) (instance ?P (ImpairmentFn AutonomicProcess)))))	Medicine.kif 4230-4236	如果 Dysautonomia 是施事体的 attribute，然后有存在过程这样那个施事体经历了那个过程和那个过程是 ImpairmentFn 自主过程的 instance
(=> (holdsDuring ?T (attribute ?H Insomnia)) (exists (?I) (and (instance ?I (ImpairmentFn Sleeping)) (experiencer ?I ?H) (equal ?T (WhenFn ?I)))))	Medicine.kif 2105-2114	如果 Insomnia 是施事体的 attribute 在时距 holdsDuring，然后有存在过程这样那个过程是 ImpairmentFn Sleeping 的 instance 和那个施事体经历了那个过程和那个时距 equal 那个过程出现的 time
(=> (holdsDuring ?T (attribute ?H Pneumothorax)) (exists (?I) (and (instance ?I (ImpairmentFn Breathing)) (patient ?I ?H) (during ?T (WhenFn ?I)))))	Medicine.kif 812-821	如果 Pneumothorax 是实体的 attribute 在时距 holdsDuring，然后有存在过程这样那个过程是 ImpairmentFn 呼吸的 instance 和那个实体是那个过程的 patient 和那个时距在那个过程出现的 time 时段内发生
(=> (instance ?A Anticoagulant) (hasPurpose ?A (exists (?M) (and (instance ?M Mammal) (experiencer ?M (ImpairmentFn Clotting))))))	Medicine.kif 4853-4860	如果物理是 Anticoagulant 的 instance，然后那个物理的目的是有存在实体这样那个实体是哺乳动物的 instance 和 ImpairmentFn Clotting 经历了那个实体

statement

(diseaseSymptom ParkinsonsDisease (ImpairmentFn Walking))	Medicine.kif 4258-4258	ImpairmentFn 步行是 ParkinsonsDisease 的 disease 病状
(subclass BrainFog (ImpairmentFn Thinking))	Medicine.kif 2975-2975	BrainFog 是 ImpairmentFn Thinking 的 subclass
(subclass BreathingDifficulty (ImpairmentFn Breathing))	Medicine.kif 2037-2037	BreathingDifficulty 是 ImpairmentFn 呼吸的 subclass
(subclass Choking (ImpairmentFn Breathing))	Mid-level-ontology.kif 11747-11747	Choking 是 ImpairmentFn 呼吸的 subclass
(subclass GastroIntestinalIssue (ImpairmentFn Digesting))	Medicine.kif 2116-2116	GastroIntestinalIssue 是 ImpairmentFn 消化的 subclass
(subclass HeartPalpitation (ImpairmentFn HeartBeat))	Medicine.kif 4325-4325	HeartPalpitation 是 ImpairmentFn HeartBeat 的 subclass
(subclass MemoryLoss (ImpairmentFn Remembering))	Medicine.kif 2033-2033	MemoryLoss 是 ImpairmentFn 记住的 subclass
(subclass ThinkingDifficulty (ImpairmentFn PsychologicalProcess))	Medicine.kif 2041-2041	ThinkingDifficulty 是 ImpairmentFn 心理过程的 subclass

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: