ImpairedBodyPartFn - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - ImpairedBodyPartFn

ImpairedBodyPartFn

appearance as argument number 1

(documentation ImpairedBodyPartFn EnglishLanguage "A Function that returns an instance of ImpairedBodyPartFn that refers to a particular BodyPart. For example, a broken leg would be a subAttribute of (ImpairedBodyPartFn Leg)")	Merge.kif 18320-18323
(domainSubclass ImpairedBodyPartFn 1 BodyPart)	Merge.kif 18318-18318	ImpairedBodyPartFn の数値 1 引数は体の部分のsubclass では %n
(instance ImpairedBodyPartFn UnaryFunction)	Merge.kif 18317-18317	ImpairedBodyPartFn は 1変数関数の instance では %n
(range ImpairedBodyPartFn DiseaseOrSyndrome)	Merge.kif 18319-18319	ImpairedBodyPartFn の range は病気または症候群のインスタンスでは %n

appearance as argument number 2

(termFormat EnglishLanguage ImpairedBodyPartFn "impaired body part fn")

domainEnglishFormat.kif 65044-65044

antecedent

(=> (and (holdsDuring ?T (attribute ?H (ImpairedBodyPartFn ?P))) (instance ?PI ?P) (part ?PI ?H) (hasPurpose ?PI ?F)) (modalAttribute (not ?F) Likely))	Merge.kif 18325-18335	ImpairedBodyPartFn クラスはオブジェクトの attribute では %n は時間位置の during holds %n{ない} クラスI はクラスの instance では %n クラスI はオブジェクトの part では %n クラスI は公式の目的 %n{ない} ステートメント公式には Likely の modal force がある
(=> (and (instance ?I Impacting) (patient ?I ?H) (holdsDuring (ImmediateFutureFn ?I) (attribute ?H (ImpairedBodyPartFn Brain)))) (modalAttribute (holdsDuring (ImmediateFutureFn ?I) (attribute ?H Concussion)) Likely))	Medicine.kif 1316-1328	工程は衝撃の instance では %n エンティティーは工程の patient では %n ImpairedBodyPartFn Brain はエンティティーの attribute では %n は工程のすぐ after の during holds %n{ない} ステートメント Concussion はエンティティーの attribute では %n は工程のすぐ after の during holds %n{ない} には Likely の modal force がある
(=> (and (instance ?V ViolentContest) (patient ?V ?H) (attribute ?H (InjuryCausedFn ?PC)) (attribute ?H (ImpairedBodyPartFn Airway))) (modalAttribute (or (subclass ?PC Combustion) (exists (?FI) (and (instance ?I Injuring) (located ?I ?F) (instance ?F Face) (patient ?I ?H)))) Likely))	Medicine.kif 686-703	工程は激しいコンテストの instance では %n オブジェクトは工程の patient では %n InjuryCausedFn 工程はオブジェクトの attribute では %n ImpairedBodyPartFn Airway はオブジェクトの attribute では %n ステートメント工程は燃焼の subclass では %n エンティティーエンティティーはけがの instance では %n エンティティーはエンティティーに located して %n エンティティーは Face の instance では %n オブジェクトはエンティティーの patient では %n には Likely の modal force がある
(=> (holdsDuring ?T (and (attribute ?H InfectiousDisease) (attribute ?H Diabetes) (attribute ?H (ImpairedBodyPartFn Foot)))) (holdsDuring ?T (diseaseMedicine InfectiousDisease Ertapenem Injecting)))	Medicine.kif 1362-1369	InfectiousDisease はエンティティーの attribute では %n Diabetes はエンティティーの attribute では %n ImpairedBodyPartFn Foot はエンティティーの attribute では %n は時間位置の during holds %n{ない} diseaseMedicine InfectiousDisease, Ertapenem and Injecting は時間位置の during holds %n{ない}
(=> (holdsDuring ?T (attribute ?H (ImpairedBodyPartFn Eardrum))) (modalAttribute (not (exists (?HEAR) (and (instance ?HEAR Hearing) (during (WhenFn ?HEAR) ?T) (experiencer ?HEAR ?H)))) Likely))	Anatomy.kif 1644-1655	ImpairedBodyPartFn Eardrum はエンティティーの attribute では %n は時間位置の during holds %n{ない} ステートメントエンティティーEAR エンティティーEAR は聴覚の instance では %n エンティティーEAR の time の existence は時間位置の during に takes %n{ない} エンティティーがエンティティーEAR を experiences %n{ない} には Likely の modal force がある

consequent

(=> (and (instance ?E Electrocardiography) (patient ?E ?H) (agent ?E ?D) (attribute ?D MedicalDoctor)) (hasPurpose ?E (knows ?D (exists (?T) (truth (attribute ?H (ImpairedBodyPartFn Heart)) ?T)))))	Medicine.kif 3437-3448	工程は Electrocardiography の instance では %n エンティティーは工程の patient では %n AutonomousAgent は工程の agent では %n MedicalDoctor は AutonomousAgent の attribute では %n 工程は AutonomousAgent はエンティティー ImpairedBodyPartFn Heart はエンティティーの attribute では %n is エンティティー %n を knows %n{ない} の目的 %n{ない}
(=> (and (instance ?EKG Electrocardiogram) (attribute ?EKG EKGAbnormal) (refers ?EKG ?H) (part ?H ?P) (instance ?H Heart)) (modalAttribute (attribute ?P (ImpairedBodyPartFn Heart)) Likely))	Medicine.kif 1870-1879	オブジェクトは Electrocardiogram の instance では %n EKGAbnormal はオブジェクトの attribute では %n オブジェクトはオブジェクトへの reference を includes %n{ない} オブジェクトはオブジェクトの part では %n オブジェクトは Heart の instance では %n ステートメント ImpairedBodyPartFn Heart はオブジェクトの attribute では %n には Likely の modal force がある
(=> (and (instance ?EKG Electrocardiogram) (attribute ?EKG EKGNormal) (refers ?EKG ?H) (part ?H ?P) (instance ?H Heart)) (modalAttribute (not (attribute ?P (ImpairedBodyPartFn Heart))) Likely))	Medicine.kif 1853-1863	オブジェクトは Electrocardiogram の instance では %n EKGNormal はオブジェクトの attribute では %n オブジェクトはオブジェクトへの reference を includes %n{ない} オブジェクトはオブジェクトの part では %n オブジェクトは Heart の instance では %n ステートメント ImpairedBodyPartFn Heart はオブジェクトの attribute ではには Likely の modal force がある
(=> (and (instance ?IBD AddisonsDisease) (experiencer ?IBD ?H)) (attribute ?H (ImpairedBodyPartFn AdrenalGland)))	Medicine.kif 2304-2309	工程は AddisonsDisease の instance では %n AutonomousAgent が工程を experiences %n{ない} ImpairedBodyPartFn AdrenalGland は AutonomousAgent の attribute では %n
(=> (and (instance ?IBD GravesDisease) (experiencer ?IBD ?H)) (attribute ?H (ImpairedBodyPartFn ThyroidGland)))	Medicine.kif 2317-2322	工程は GravesDisease の instance では %n AutonomousAgent が工程を experiences %n{ない} ImpairedBodyPartFn ThyroidGland は AutonomousAgent の attribute では %n
(=> (and (instance ?IBD HashimotosThyroiditis) (experiencer ?IBD ?H)) (attribute ?H (ImpairedBodyPartFn ThyroidGland)))	Medicine.kif 2363-2368	工程は HashimotosThyroiditis の instance では %n AutonomousAgent が工程を experiences %n{ない} ImpairedBodyPartFn ThyroidGland は AutonomousAgent の attribute では %n
(=> (and (instance ?IBD InflammatoryBowelDisease) (experiencer ?IBD ?H)) (attribute ?H (ImpairedBodyPartFn GastroIntestinalTract)))	Medicine.kif 2270-2275	工程は InflammatoryBowelDisease の instance では %n AutonomousAgent が工程を experiences %n{ない} ImpairedBodyPartFn GastroIntestinalTract は AutonomousAgent の attribute では %n
(=> (and (instance ?IBD UlcerativeColitis) (experiencer ?IBD ?H)) (or (attribute ?H (ImpairedBodyPartFn LargeIntestine)) (attribute ?H (ImpairedBodyPartFn Rectum))))	Medicine.kif 2289-2297	工程は UlcerativeColitis の instance では %n AutonomousAgent が工程を experiences %n{ない} ImpairedBodyPartFn LargeIntestine は AutonomousAgent の attribute では %n ImpairedBodyPartFn Rectum は AutonomousAgent の attribute では %n
(=> (and (instance ?MS MultipleSclerosis) (experiencer ?MS ?H)) (attribute ?H (ImpairedBodyPartFn NervousSystem)))	Medicine.kif 2239-2244	工程は MultipleSclerosis の instance では %n AutonomousAgent が工程を experiences %n{ない} ImpairedBodyPartFn NervousSystem は AutonomousAgent の attribute では %n
(=> (and (instance ?SS AutoimmuneVasculitis) (experiencer ?SS ?H)) (attribute ?H (ImpairedBodyPartFn BloodVessel)))	Medicine.kif 2406-2411	工程は AutoimmuneVasculitis の instance では %n AutonomousAgent が工程を experiences %n{ない} ImpairedBodyPartFn BloodVessel は AutonomousAgent の attribute では %n
(=> (and (instance ?SS MyastheniaGravis) (experiencer ?SS ?H)) (attribute ?H (ImpairedBodyPartFn NerveCell)))	Medicine.kif 2394-2399	工程は MyastheniaGravis の instance では %n AutonomousAgent が工程を experiences %n{ない} ImpairedBodyPartFn NerveCell は AutonomousAgent の attribute では %n
(=> (and (instance ?SS SjogrensSyndrome) (experiencer ?SS ?H)) (or (attribute ?H (ImpairedBodyPartFn SalivaryGland)) (attribute ?H (ImpairedBodyPartFn TearGland))))	Medicine.kif 2347-2355	工程は SjogrensSyndrome の instance では %n AutonomousAgent が工程を experiences %n{ない} ImpairedBodyPartFn SalivaryGland は AutonomousAgent の attribute では %n ImpairedBodyPartFn TearGland は AutonomousAgent の attribute では %n
(=> (attribute ?H HeartDisease) (or (attribute ?H (ImpairedBodyPartFn Heart)) (attribute ?H (ImpairedBodyPartFn BloodVessel))))	Medicine.kif 5720-5724	HeartDisease はオブジェクトの attribute では %n ImpairedBodyPartFn Heart はオブジェクトの attribute では %n ImpairedBodyPartFn BloodVessel はオブジェクトの attribute では %n
(=> (holdsDuring ?T (attribute ?H TraumaticBrainInjury)) (holdsDuring ?T (attribute ?H (ImpairedBodyPartFn Brain))))	Medicine.kif 1282-1287	TraumaticBrainInjury はエンティティーの attribute では %n は時間位置の during holds %n{ない} ImpairedBodyPartFn Brain はエンティティーの attribute では %n は時間位置の during holds %n{ない}
(=> (visualAcuity ?H1 ?I1 ?I2) (exists (?H2) (and (not (attribute ?H2 (ImpairedBodyPartFn Eye))) (visualAcuity ?H2 ?I2 ?I2))))	Medicine.kif 1706-1712	visualAcuity 人［人間］, 整数 and 整数人［人間］ ImpairedBodyPartFn Eye は人［人間］の attribute では visualAcuity 人［人間］, 整数 and 整数

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