| ! [V__H : $i,V__T : $i] : ((s__holdsDuring(V__T, s__attribute(V__H, s__TraumaticBrainInjury)) => s__holdsDuring(V__T, s__attribute(V__H, s__ImpairedBodyPartFn(s__Brain))))) |
Medicine.kif 1275-1280 |
If TBI is an attribute of X holds during Y, then impaired body part fn brain is an attribute of X holds during Y |
! [V__H1,V__I1,V__I2] :
(((s__instance(V__H1,s__Human) &
s__instance(V__I1,s__Integer) &
s__instance(V__I2,s__Integer))
=>
(s__visualAcuity(V__H1,V__I1,V__I2)
=>
(? [V__H2] :
((s__instance(V__H2,s__Human) &
(~(s__attribute(V__H2,s__ImpairedBodyPartFn(s__Eye)))
&
s__visualAcuity(V__H2,V__I2,V__I2)))))))
)
|
Medicine.kif 1702-1708 |
If X has Y/Z eyesight, then there exists W such that impaired body part fn eye is not an attribute of W and W has Z/Z eyesight |
| ! [V__EKG : $i,V__H : $i,V__P : $i] : (((s__instance(V__EKG, s__Electrocardiogram) & s__attribute(V__EKG, s__EKGNormal) & s__refers(V__EKG, V__H) & s__part(V__H, V__P) & s__instance(V__H, s__Heart)) => s__modalAttribute(~(s__attribute(V__P, s__ImpairedBodyPartFn(s__Heart))), s__Likely))) |
Medicine.kif 1849-1859 |
If X is an instance of electrocardiogram, normal EKG is an attribute of X, X includes a reference to Y, Y is a part of Z, and Y is an instance of heart, then the statement impaired body part fn heart is not an attribute of Z has the modal force of likely |
| ! [V__EKG : $i,V__H : $i,V__P : $i] : (((s__instance(V__EKG, s__Electrocardiogram) & s__attribute(V__EKG, s__EKGAbnormal) & s__refers(V__EKG, V__H) & s__part(V__H, V__P) & s__instance(V__H, s__Heart)) => s__modalAttribute(s__attribute(V__P, s__ImpairedBodyPartFn(s__Heart)), s__Likely))) |
Medicine.kif 1866-1875 |
If X is an instance of electrocardiogram, abnormal EKG is an attribute of X, X includes a reference to Y, Y is a part of Z, and Y is an instance of heart, then the statement impaired body part fn heart is an attribute of Z has the modal force of likely |
! [V__H,V__MS] :
((s__instance(V__H,s__AutonomousAgent) =>
((s__instance(V__MS,s__MultipleSclerosis) &
s__experiencer(V__MS,V__H))
=>
s__attribute(V__H,s__ImpairedBodyPartFn(s__NervousSystem))))
)
|
Medicine.kif 2257-2262 |
If X is an instance of MS and Y experiences X, then impaired body part fn nervous system is an attribute of Y |
! [V__H,V__IBD] :
((s__instance(V__H,s__AutonomousAgent) =>
((s__instance(V__IBD,s__InflammatoryBowelDisease) &
s__experiencer(V__IBD,V__H))
=>
s__attribute(V__H,s__ImpairedBodyPartFn(s__GastroIntestinalTract))))
)
|
Medicine.kif 2288-2293 |
If X is an instance of inflammatory bowel disease and Y experiences X, then impaired body part fn GI is an attribute of Y |
! [V__H,V__IBD] :
((s__instance(V__H,s__AutonomousAgent) =>
((s__instance(V__IBD,s__UlcerativeColitis) &
s__experiencer(V__IBD,V__H))
=>
(s__attribute(V__H,s__ImpairedBodyPartFn(s__LargeIntestine))
|
s__attribute(V__H,s__ImpairedBodyPartFn(s__Rectum)))))
)
|
Medicine.kif 2307-2315 |
If X is an instance of ulcerative colitis and Y experiences X, then impaired body part fn large intestine is an attribute of Y or impaired body part fn rectum is an attribute of Y |
! [V__H,V__IBD] :
((s__instance(V__H,s__AutonomousAgent) =>
((s__instance(V__IBD,s__AddisonsDisease) &
s__experiencer(V__IBD,V__H))
=>
s__attribute(V__H,s__ImpairedBodyPartFn(s__AdrenalGland))))
)
|
Medicine.kif 2322-2327 |
If X is an instance of Addison's disease and Y experiences X, then impaired body part fn adrenal gland is an attribute of Y |
! [V__H,V__IBD] :
((s__instance(V__H,s__AutonomousAgent) =>
((s__instance(V__IBD,s__GravesDisease) &
s__experiencer(V__IBD,V__H))
=>
s__attribute(V__H,s__ImpairedBodyPartFn(s__ThyroidGland))))
)
|
Medicine.kif 2335-2340 |
If X is an instance of Graves' disease and Y experiences X, then impaired body part fn thyroid gland is an attribute of Y |
! [V__H,V__SS] :
((s__instance(V__H,s__AutonomousAgent) =>
((s__instance(V__SS,s__SjogrensSyndrome) &
s__experiencer(V__SS,V__H))
=>
(s__attribute(V__H,s__ImpairedBodyPartFn(s__SalivaryGland))
|
s__attribute(V__H,s__ImpairedBodyPartFn(s__TearGland)))))
)
|
Medicine.kif 2365-2373 |
If X is an instance of Sjogrens syndrome and Y experiences X, then impaired body part fn salivary gland is an attribute of Y or impaired body part fn lacrymal gland is an attribute of Y |
! [V__H,V__IBD] :
((s__instance(V__H,s__AutonomousAgent) =>
((s__instance(V__IBD,s__HashimotosThyroiditis) &
s__experiencer(V__IBD,V__H))
=>
s__attribute(V__H,s__ImpairedBodyPartFn(s__ThyroidGland))))
)
|
Medicine.kif 2381-2386 |
If X is an instance of Hashimoto's thyroiditis and Y experiences X, then impaired body part fn thyroid gland is an attribute of Y |
! [V__H,V__SS] :
((s__instance(V__H,s__AutonomousAgent) =>
((s__instance(V__SS,s__MyastheniaGravis) &
s__experiencer(V__SS,V__H))
=>
s__attribute(V__H,s__ImpairedBodyPartFn(s__NerveCell))))
)
|
Medicine.kif 2412-2417 |
If X is an instance of myasthenia gravis and Y experiences X, then impaired body part fn nerve cell is an attribute of Y |
! [V__H,V__SS] :
((s__instance(V__H,s__AutonomousAgent) =>
((s__instance(V__SS,s__AutoimmuneVasculitis) &
s__experiencer(V__SS,V__H))
=>
s__attribute(V__H,s__ImpairedBodyPartFn(s__BloodVessel))))
)
|
Medicine.kif 2424-2429 |
If X is an instance of autoimmune vasculitis and Y experiences X, then impaired body part fn blood vessel is an attribute of Y |
| ! [V__D : $i,V__E : $i,V__H : $i] : (((s__instance(V__E, s__Electrocardiography) & s__patient(V__E, V__H) & s__agent(V__E, V__D) & s__attribute(V__D, s__MedicalDoctor)) => s__hasPurpose(V__E, s__knows(V__D, ( ? [V__T] : (s__attribute(V__H, s__ImpairedBodyPartFn(s__Heart)))))))) |
Medicine.kif 3480-3490 |
If X is an instance of electrocardiography, Y is a patient of X, Z is an agent of X, and medical doctor is an attribute of Z, then X has the purpose Z knows there exists W such that impaired body part fn heart is an attribute of Y |
! [V__H] :
((s__instance(V__H,s__Object) =>
(s__attribute(V__H,s__HeartDisease) =>
(s__attribute(V__H,s__ImpairedBodyPartFn(s__Heart))
|
s__attribute(V__H,s__ImpairedBodyPartFn(s__BloodVessel)))))
)
|
Medicine.kif 5757-5761 |
If cardiovascular disease is an attribute of X, then impaired body part fn heart is an attribute of X or impaired body part fn blood vessel is an attribute of X |
