DeadOrMissingBodyPartFn - Sigma Knowledge base Browser

appearance as argument number 1

(instance DeadOrMissingBodyPartFn UnaryFunction)	Merge.kif 18578-18578	Dead or missing body part fn is an instance of unary function
(relatedInternalConcept DeadOrMissingBodyPartFn DeadFn)	Merge.kif 18579-18579	Dead or missing body part fn is internally related to Dead fn
(domainSubclass DeadOrMissingBodyPartFn 1 BodyPart)	Merge.kif 18580-18580	The number 1 argument of dead or missing body part fn is a subclass of body part
(range DeadOrMissingBodyPartFn DiseaseOrSyndrome)	Merge.kif 18581-18581	The range of dead or missing body part fn is an instance of disease or syndrome
(documentation DeadOrMissingBodyPartFn EnglishLanguage "A Function that returns an instance of DeadOrMissingBodyPartFn that refers to a particular BodyPart. For example, an amputated leg would be a subAttribute of (DeadOrMissingBodyPartFn Leg)")	Merge.kif 18582-18585	The range of dead or missing body part fn is an instance of disease or syndrome

appearance as argument number 2

antecedent

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

If dead or missing body part fn X is an attribute of Y holds during Z, W is an instance of X, W is a part of Y, and W has the purpose V, then V

statement

(equal BrainDead
(DeadOrMissingBodyPartFn Brain))