ImpairmentFn - Sigma Knowledge base Browser

appearance as argument number 1

(documentation ImpairmentFn EnglishLanguage "A faulty or compromised Process of the normal body.")	Merge.kif 13467-13468
(domainSubclass ImpairmentFn 1 PhysiologicProcess)	Merge.kif 13469-13469	O argumento numero 1 de ImpairmentFn e' uma sub-classe de Processo Fisiologico
(instance ImpairmentFn UnaryFunction)	Merge.kif 13466-13466	ImpairmentFn e' uma instancia de funcao Unaria
(rangeSubclass ImpairmentFn BiologicalProcess)	Merge.kif 13470-13470	Os valores retornados por ImpairmentFn sao as sub-classes de Processo Biologico

appearance as argument number 2

(format EnglishLanguage ImpairmentFn "impairment in %1")	Merge.kif 13472-13472
(termFormat EnglishLanguage ImpairmentFn "impairment")	Merge.kif 13471-13471

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 13474-13484

Processo e' uma instancia de ImpairmentFn Processo Objeto e' um instrumento para Processo
Objeto2 Objeto2 e' igual a Objeto Objeto2 e' capaz de fazer Processo no role instrument Objeto e' capaz de fazer Processo no role instrument

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	Processo e' uma instancia de Cricothyroidotomy Entidade e' um patient de Processo Processo tem por fim Entidade Entidade e' uma instancia de ImpairmentFn Respirar Entidade e' um patient de Entidade vale durante imediatemente antes de tempo de existencia de Processo Entidade Entidade e' uma instancia de ImpairmentFn Respirar Entidade e' um patient de Entidade vale durante imediatemente apos tempo de existencia de Processo
(=> (attribute ?H Asthma) (exists (?I) (and (instance ?I (ImpairmentFn Breathing)) (experiencer ?I ?H))))	Medicine.kif 3417-3423	Asthma e' um atributo de AutonomousAgent Processo Processo e' uma instancia de ImpairmentFn Respirar AutonomousAgent experimenta Processo
(=> (attribute ?H ChronicObstructivePulmonaryDisease) (instance ?H (ImpairmentFn Breathing)))	Mid-level-ontology.kif 5986-5989	ChronicObstructivePulmonaryDisease e' um atributo de Objeto Objeto e' uma instancia de ImpairmentFn Respirar
(=> (attribute ?H Dysautonomia) (exists (?P) (and (experiencer ?P ?H) (instance ?P (ImpairmentFn AutonomicProcess)))))	Medicine.kif 4230-4236	Dysautonomia e' um atributo de AutonomousAgent Processo AutonomousAgent experimenta Processo Processo e' uma instancia de ImpairmentFn AutonomicProcess
(=> (holdsDuring ?T (attribute ?H Insomnia)) (exists (?I) (and (instance ?I (ImpairmentFn Sleeping)) (experiencer ?I ?H) (equal ?T (WhenFn ?I)))))	Medicine.kif 2105-2114	Insomnia e' um atributo de AutonomousAgent vale durante Intervalo Temporal Processo Processo e' uma instancia de ImpairmentFn Sleeping AutonomousAgent experimenta Processo Intervalo Temporal e' igual a tempo de existencia de Processo
(=> (holdsDuring ?T (attribute ?H Pneumothorax)) (exists (?I) (and (instance ?I (ImpairmentFn Breathing)) (patient ?I ?H) (during ?T (WhenFn ?I)))))	Medicine.kif 812-821	Pneumothorax e' um atributo de Entidade vale durante Intervalo Temporal Processo Processo e' uma instancia de ImpairmentFn Respirar Entidade e' um patient de Processo Intervalo Temporal acontece durante tempo de existencia de Processo
(=> (instance ?A Anticoagulant) (hasPurpose ?A (exists (?M) (and (instance ?M Mammal) (experiencer ?M (ImpairmentFn Clotting))))))	Medicine.kif 4853-4860	Fisico e' uma instancia de Anticoagulant Fisico tem por fim Entidade Entidade e' uma instancia de Mamifero ImpairmentFn Clotting experimenta Entidade

statement

(diseaseSymptom ParkinsonsDisease (ImpairmentFn Walking))	Medicine.kif 4258-4258	diseaseSymptom ParkinsonsDisease and ImpairmentFn Andar
(subclass BrainFog (ImpairmentFn Thinking))	Medicine.kif 2975-2975	BrainFog e' uma sub-classe de ImpairmentFn Thinking
(subclass BreathingDifficulty (ImpairmentFn Breathing))	Medicine.kif 2037-2037	BreathingDifficulty e' uma sub-classe de ImpairmentFn Respirar
(subclass Choking (ImpairmentFn Breathing))	Mid-level-ontology.kif 11748-11748	Choking e' uma sub-classe de ImpairmentFn Respirar
(subclass GastroIntestinalIssue (ImpairmentFn Digesting))	Medicine.kif 2116-2116	GastroIntestinalIssue e' uma sub-classe de ImpairmentFn Digesting
(subclass HeartPalpitation (ImpairmentFn HeartBeat))	Medicine.kif 4325-4325	HeartPalpitation e' uma sub-classe de ImpairmentFn HeartBeat
(subclass MemoryLoss (ImpairmentFn Remembering))	Medicine.kif 2033-2033	MemoryLoss e' uma sub-classe de ImpairmentFn Recordar
(subclass ThinkingDifficulty (ImpairmentFn PsychologicalProcess))	Medicine.kif 2041-2041	ThinkingDifficulty e' uma sub-classe de ImpairmentFn Processo Psicologico

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: