TreeView 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	ImpairmentFn の数値 1 引数は生理学的プロセスのsubclass では %n
(instance ImpairmentFn UnaryFunction)	Merge.kif 13466-13466	ImpairmentFn は 1変数関数の instance では %n
(rangeSubclass ImpairmentFn BiologicalProcess)	Merge.kif 13470-13470	ImpairmentFn が返す値は生物学的プロセスの subclasses では %n

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

工程は ImpairmentFn 工程の instance では %n オブジェクトは工程の instrument では %n
オブジェクト2 オブジェクト2 はオブジェクトと equal ではオブジェクト2 は工程を instrument として行う capable では %n オブジェクトは工程を instrument として行う capable では

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 では %n エンティティーは工程の patient では %n 工程はエンティティーエンティティーは ImpairmentFn 呼吸の instance では %n エンティティーはエンティティーの patient では %n は工程の time の existence の immediately before の during holds %n{ない} エンティティーエンティティーは ImpairmentFn 呼吸の instance では %n エンティティーはエンティティーの patient では %n は工程の time の existence のすぐ after の during hold ないの目的 %n{ない}
(=> (attribute ?H Asthma) (exists (?I) (and (instance ?I (ImpairmentFn Breathing)) (experiencer ?I ?H))))	Medicine.kif 3417-3423	Asthma は AutonomousAgent の attribute では %n 工程工程は ImpairmentFn 呼吸の instance では %n AutonomousAgent が工程を experiences %n{ない}
(=> (attribute ?H ChronicObstructivePulmonaryDisease) (instance ?H (ImpairmentFn Breathing)))	Mid-level-ontology.kif 5986-5989	ChronicObstructivePulmonaryDisease はオブジェクトの attribute では %n オブジェクトは ImpairmentFn 呼吸の instance では %n
(=> (attribute ?H Dysautonomia) (exists (?P) (and (experiencer ?P ?H) (instance ?P (ImpairmentFn AutonomicProcess)))))	Medicine.kif 4230-4236	Dysautonomia は AutonomousAgent の attribute では %n 工程 AutonomousAgent が工程を experiences %n{ない} 工程は ImpairmentFn AutonomicProcess の instance では %n
(=> (holdsDuring ?T (attribute ?H Insomnia)) (exists (?I) (and (instance ?I (ImpairmentFn Sleeping)) (experiencer ?I ?H) (equal ?T (WhenFn ?I)))))	Medicine.kif 2105-2114	Insomnia は AutonomousAgent の attribute では %n は時間間隔の during holds %n{ない} 工程工程は ImpairmentFn Sleeping の instance では %n AutonomousAgent が工程を experiences %n{ない} 時間間隔は工程の time の existence と equal では %n
(=> (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 では %n は時間間隔の during holds %n{ない} 工程工程は ImpairmentFn 呼吸の instance では %n エンティティーは工程の patient では %n 時間間隔は工程の time の existence の during に takes %n{ない}
(=> (instance ?A Anticoagulant) (hasPurpose ?A (exists (?M) (and (instance ?M Mammal) (experiencer ?M (ImpairmentFn Clotting))))))	Medicine.kif 4853-4860	物理は Anticoagulant の instance では %n 物理はエンティティーエンティティーは哺乳動物の instance では %n ImpairmentFn Clotting がエンティティーを experiences %n{ない} の目的 %n{ない}

statement

(diseaseSymptom ParkinsonsDisease (ImpairmentFn Walking))	Medicine.kif 4258-4258	diseaseSymptom ParkinsonsDisease and ImpairmentFn 歩行
(subclass BrainFog (ImpairmentFn Thinking))	Medicine.kif 2975-2975	BrainFog は ImpairmentFn Thinking の subclass では %n
(subclass BreathingDifficulty (ImpairmentFn Breathing))	Medicine.kif 2037-2037	BreathingDifficulty は ImpairmentFn 呼吸の subclass では %n
(subclass Choking (ImpairmentFn Breathing))	Mid-level-ontology.kif 11748-11748	Choking は ImpairmentFn 呼吸の subclass では %n
(subclass GastroIntestinalIssue (ImpairmentFn Digesting))	Medicine.kif 2116-2116	GastroIntestinalIssue は ImpairmentFn Digesting の subclass では %n
(subclass HeartPalpitation (ImpairmentFn HeartBeat))	Medicine.kif 4325-4325	HeartPalpitation は ImpairmentFn HeartBeat の subclass では %n
(subclass MemoryLoss (ImpairmentFn Remembering))	Medicine.kif 2033-2033	MemoryLoss は ImpairmentFn 記憶の subclass では %n
(subclass ThinkingDifficulty (ImpairmentFn PsychologicalProcess))	Medicine.kif 2041-2041	ThinkingDifficulty は ImpairmentFn 精神的プロセスの subclass では %n

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: