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 18299-18302
(domainSubclass ImpairedBodyPartFn 1 BodyPart) Merge.kif 18297-18297 The number 1 argument of impaired body part fn is a subclass of body part
(instance ImpairedBodyPartFn UnaryFunction) Merge.kif 18296-18296 Impaired body part fn is an instance of unary function
(range ImpairedBodyPartFn DiseaseOrSyndrome) Merge.kif 18298-18298 The range of impaired body part fn is an instance of disease or syndrome

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage ImpairedBodyPartFn "impaired body part fn") domainEnglishFormat.kif 65023-65023

antecedent
-------------------------


(=>
    (and
        (holdsDuring ?T
            (attribute ?H
                (ImpairedBodyPartFn ?P)))
        (instance ?PI ?P)
        (part ?PI ?H)
        (hasPurpose ?PI ?F))
    (modalAttribute
        (not ?F) Likely))
Merge.kif 18304-18314
(=>
    (and
        (instance ?I Impacting)
        (patient ?I ?H)
        (holdsDuring
            (ImmediateFutureFn ?I)
            (attribute ?H
                (ImpairedBodyPartFn Brain))))
    (modalAttribute
        (holdsDuring
            (ImmediateFutureFn ?I)
            (attribute ?H Concussion)) Likely))
Medicine.kif 1328-1340
(=>
    (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 698-715
(=>
    (holdsDuring ?T
        (and
            (attribute ?H InfectiousDisease)
            (attribute ?H Diabetes)
            (attribute ?H
                (ImpairedBodyPartFn Foot))))
    (holdsDuring ?T
        (diseaseMedicine InfectiousDisease Ertapenem Injecting)))
Medicine.kif 1374-1381
(=>
    (holdsDuring ?T
        (attribute ?H
            (ImpairedBodyPartFn Eardrum)))
    (modalAttribute
        (not
            (exists (?HEAR)
                (and
                    (instance ?HEAR Hearing)
                    (during
                        (WhenFn ?HEAR) ?T)
                    (experiencer ?HEAR ?H)))) Likely))
Anatomy.kif 1645-1656

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 3449-3460
(=>
    (and
        (instance ?EKG Electrocardiogram)
        (attribute ?EKG EKGAbnormal)
        (refers ?EKG ?H)
        (part ?H ?P)
        (instance ?H Heart))
    (modalAttribute
        (attribute ?P
            (ImpairedBodyPartFn Heart)) Likely))
Medicine.kif 1882-1891
(=>
    (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 1865-1875
(=>
    (and
        (instance ?IBD AddisonsDisease)
        (experiencer ?IBD ?H))
    (attribute ?H
        (ImpairedBodyPartFn AdrenalGland)))
Medicine.kif 2316-2321
(=>
    (and
        (instance ?IBD GravesDisease)
        (experiencer ?IBD ?H))
    (attribute ?H
        (ImpairedBodyPartFn ThyroidGland)))
Medicine.kif 2329-2334
(=>
    (and
        (instance ?IBD HashimotosThyroiditis)
        (experiencer ?IBD ?H))
    (attribute ?H
        (ImpairedBodyPartFn ThyroidGland)))
Medicine.kif 2375-2380
(=>
    (and
        (instance ?IBD InflammatoryBowelDisease)
        (experiencer ?IBD ?H))
    (attribute ?H
        (ImpairedBodyPartFn GastroIntestinalTract)))
Medicine.kif 2282-2287
(=>
    (and
        (instance ?IBD UlcerativeColitis)
        (experiencer ?IBD ?H))
    (or
        (attribute ?H
            (ImpairedBodyPartFn LargeIntestine))
        (attribute ?H
            (ImpairedBodyPartFn Rectum))))
Medicine.kif 2301-2309
(=>
    (and
        (instance ?MS MultipleSclerosis)
        (experiencer ?MS ?H))
    (attribute ?H
        (ImpairedBodyPartFn NervousSystem)))
Medicine.kif 2251-2256
(=>
    (and
        (instance ?SS AutoimmuneVasculitis)
        (experiencer ?SS ?H))
    (attribute ?H
        (ImpairedBodyPartFn BloodVessel)))
Medicine.kif 2418-2423
(=>
    (and
        (instance ?SS MyastheniaGravis)
        (experiencer ?SS ?H))
    (attribute ?H
        (ImpairedBodyPartFn NerveCell)))
Medicine.kif 2406-2411
(=>
    (and
        (instance ?SS SjogrensSyndrome)
        (experiencer ?SS ?H))
    (or
        (attribute ?H
            (ImpairedBodyPartFn SalivaryGland))
        (attribute ?H
            (ImpairedBodyPartFn TearGland))))
Medicine.kif 2359-2367
(=>
    (attribute ?H HeartDisease)
    (or
        (attribute ?H
            (ImpairedBodyPartFn Heart))
        (attribute ?H
            (ImpairedBodyPartFn BloodVessel))))
Medicine.kif 5732-5736
(=>
    (holdsDuring ?T
        (attribute ?H TraumaticBrainInjury))
    (holdsDuring ?T
        (attribute ?H
            (ImpairedBodyPartFn Brain))))
Medicine.kif 1294-1299
(=>
    (visualAcuity ?H1 ?I1 ?I2)
    (exists (?H2)
        (and
            (not
                (attribute ?H2
                    (ImpairedBodyPartFn Eye)))
            (visualAcuity ?H2 ?I2 ?I2))))
Medicine.kif 1718-1724


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