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 18324-18327
(domainSubclass ImpairedBodyPartFn 1 BodyPart) Merge.kif 18322-18322
(instance ImpairedBodyPartFn UnaryFunction) Merge.kif 18321-18321
(range ImpairedBodyPartFn DiseaseOrSyndrome) Merge.kif 18323-18323

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 18329-18339
(=>
    (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
(=>
    (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
(=>
    (holdsDuring ?T
        (and
            (attribute ?H InfectiousDisease)
            (attribute ?H Diabetes)
            (attribute ?H
                (ImpairedBodyPartFn Foot))))
    (holdsDuring ?T
        (diseaseMedicine InfectiousDisease Ertapenem Injecting)))		 Medicine.kif 1362-1369
(=>
    (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

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
(=>
    (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
(=>
    (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
(=>
    (and
        (instance ?IBD AddisonsDisease)
        (experiencer ?IBD ?H))
    (attribute ?H
        (ImpairedBodyPartFn AdrenalGland)))		 Medicine.kif 2304-2309
(=>
    (and
        (instance ?IBD GravesDisease)
        (experiencer ?IBD ?H))
    (attribute ?H
        (ImpairedBodyPartFn ThyroidGland)))		 Medicine.kif 2317-2322
(=>
    (and
        (instance ?IBD HashimotosThyroiditis)
        (experiencer ?IBD ?H))
    (attribute ?H
        (ImpairedBodyPartFn ThyroidGland)))		 Medicine.kif 2363-2368
(=>
    (and
        (instance ?IBD InflammatoryBowelDisease)
        (experiencer ?IBD ?H))
    (attribute ?H
        (ImpairedBodyPartFn GastroIntestinalTract)))		 Medicine.kif 2270-2275
(=>
    (and
        (instance ?IBD UlcerativeColitis)
        (experiencer ?IBD ?H))
    (or
        (attribute ?H
            (ImpairedBodyPartFn LargeIntestine))
        (attribute ?H
            (ImpairedBodyPartFn Rectum))))		 Medicine.kif 2289-2297
(=>
    (and
        (instance ?MS MultipleSclerosis)
        (experiencer ?MS ?H))
    (attribute ?H
        (ImpairedBodyPartFn NervousSystem)))		 Medicine.kif 2239-2244
(=>
    (and
        (instance ?SS AutoimmuneVasculitis)
        (experiencer ?SS ?H))
    (attribute ?H
        (ImpairedBodyPartFn BloodVessel)))		 Medicine.kif 2406-2411
(=>
    (and
        (instance ?SS MyastheniaGravis)
        (experiencer ?SS ?H))
    (attribute ?H
        (ImpairedBodyPartFn NerveCell)))		 Medicine.kif 2394-2399
(=>
    (and
        (instance ?SS SjogrensSyndrome)
        (experiencer ?SS ?H))
    (or
        (attribute ?H
            (ImpairedBodyPartFn SalivaryGland))
        (attribute ?H
            (ImpairedBodyPartFn TearGland))))		 Medicine.kif 2347-2355
(=>
    (attribute ?H HeartDisease)
    (or
        (attribute ?H
            (ImpairedBodyPartFn Heart))
        (attribute ?H
            (ImpairedBodyPartFn BloodVessel))))		 Medicine.kif 5720-5724
(=>
    (holdsDuring ?T
        (attribute ?H TraumaticBrainInjury))
    (holdsDuring ?T
        (attribute ?H
            (ImpairedBodyPartFn Brain))))		 Medicine.kif 1282-1287
(=>
    (visualAcuity ?H1 ?I1 ?I2)
    (exists (?H2)
        (and
            (not
                (attribute ?H2
                    (ImpairedBodyPartFn Eye)))
            (visualAcuity ?H2 ?I2 ?I2))))		 Medicine.kif 1706-1712


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