TreeView Knowledge Base Browser - 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 17954-17957
(domainSubclass ImpairedBodyPartFn 1 BodyPart)	Merge.kif 17952-17952
(instance ImpairedBodyPartFn UnaryFunction)	Merge.kif 17951-17951
(range ImpairedBodyPartFn DiseaseOrSyndrome)	Merge.kif 17953-17953

antecedent

(=>
    (and
        (holdsDuring ?T
            (attribute ?H
                (ImpairedBodyPartFn ?P)))
        (instance ?PI ?P)
        (part ?PI ?H)
        (hasPurpose ?PI ?F))
    (modalAttribute
        (not ?F) Likely))

Merge.kif 17959-17969