Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  ImpairedBodyPartFn

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 ImpairedBodyPartFn 的 1 数量 是 身体部位subclass
(instance ImpairedBodyPartFn UnaryFunction) Merge.kif 18217-18217 ImpairedBodyPartFn一元函数instance
(range ImpairedBodyPartFn DiseaseOrSyndrome) Merge.kif 18219-18219 ImpairedBodyPartFnrange疾病或综合症 的实例

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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