(=>
(holdsDuring ?T
(attribute ?H TraumaticBrainInjury))
(holdsDuring ?T
(attribute ?H
(ImpairedBodyPartFn 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 |
(=>
(visualAcuity ?H1 ?I1 ?I2)
(exists (?H2)
(and
(not
(attribute ?H2
(ImpairedBodyPartFn Eye)))
(visualAcuity ?H2 ?I2 ?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 |
(=>
(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 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 |
(=>
(and
(instance ?EKG Electrocardiogram)
(attribute ?EKG EKGAbnormal)
(refers ?EKG ?H)
(part ?H ?P)
(instance ?H Heart))
(modalAttribute
(attribute ?P
(ImpairedBodyPartFn Heart)) 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 |
(=>
(and
(instance ?MS MultipleSclerosis)
(experiencer ?MS ?H))
(attribute ?H
(ImpairedBodyPartFn 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 |
(=>
(and
(instance ?IBD InflammatoryBowelDisease)
(experiencer ?IBD ?H))
(attribute ?H
(ImpairedBodyPartFn 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 |
(=>
(and
(instance ?IBD UlcerativeColitis)
(experiencer ?IBD ?H))
(or
(attribute ?H
(ImpairedBodyPartFn LargeIntestine))
(attribute ?H
(ImpairedBodyPartFn 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 |
(=>
(and
(instance ?IBD AddisonsDisease)
(experiencer ?IBD ?H))
(attribute ?H
(ImpairedBodyPartFn 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 |
(=>
(and
(instance ?IBD GravesDisease)
(experiencer ?IBD ?H))
(attribute ?H
(ImpairedBodyPartFn 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 |
(=>
(and
(instance ?SS SjogrensSyndrome)
(experiencer ?SS ?H))
(or
(attribute ?H
(ImpairedBodyPartFn SalivaryGland))
(attribute ?H
(ImpairedBodyPartFn 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 |
(=>
(and
(instance ?IBD HashimotosThyroiditis)
(experiencer ?IBD ?H))
(attribute ?H
(ImpairedBodyPartFn 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 |
(=>
(and
(instance ?SS MyastheniaGravis)
(experiencer ?SS ?H))
(attribute ?H
(ImpairedBodyPartFn 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 |
(=>
(and
(instance ?SS AutoimmuneVasculitis)
(experiencer ?SS ?H))
(attribute ?H
(ImpairedBodyPartFn 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 |
(=>
(and
(instance ?E Electrocardiography)
(patient ?E ?H)
(agent ?E ?D)
(attribute ?D MedicalDoctor))
(hasPurpose ?E
(knows ?D
(exists (?T)
(attribute ?H
(ImpairedBodyPartFn 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 |
(=>
(attribute ?H HeartDisease)
(or
(attribute ?H
(ImpairedBodyPartFn Heart))
(attribute ?H
(ImpairedBodyPartFn 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 |
