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 18220-18223
(domainSubclass ImpairedBodyPartFn 1 BodyPart) Merge.kif 18218-18218 Le nombre 1 argument de ImpairedBodyPartFn est une sous-classe de partie du corps
(instance ImpairedBodyPartFn UnaryFunction) Merge.kif 18217-18217 ImpairedBodyPartFn est une instance de function unaire
(range ImpairedBodyPartFn DiseaseOrSyndrome) Merge.kif 18219-18219 Le domaine de ImpairedBodyPartFn est une instance de maladie ou syndrome

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


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

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


(=>
    (and
        (holdsDuring ?T
            (attribute ?H
                (ImpairedBodyPartFn ?P)))
        (instance ?PI ?P)
        (part ?PI ?H)
        (hasPurpose ?PI ?F))
    (modalAttribute
        (not ?F) Likely))
Merge.kif 18225-18235
(=>
    (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