DeadOrMissingBodyPartFn - Sigma Knowledge base Browser

appearance as argument number 1

(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 18320-18323
(domainSubclass DeadOrMissingBodyPartFn 1 BodyPart)	Merge.kif 18318-18318	Le nombre 1 argument de DeadOrMissingBodyPartFn est une sous-classe de partie du corps
(instance DeadOrMissingBodyPartFn UnaryFunction)	Merge.kif 18316-18316	DeadOrMissingBodyPartFn est une instance de function unaire
(range DeadOrMissingBodyPartFn DiseaseOrSyndrome)	Merge.kif 18319-18319	Le domaine de DeadOrMissingBodyPartFn est une instance de maladie ou syndrome
(relatedInternalConcept DeadOrMissingBodyPartFn DeadFn)	Merge.kif 18317-18317	DeadOrMissingBodyPartFn est reli� � l'int�rieur de SUMO � DeadFn

appearance as argument number 2

domainEnglishFormat.kif 64748-64748

antecedent

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

Merge.kif 18325-18333

statement

(equal BrainDead
(DeadOrMissingBodyPartFn Brain))

Medicine.kif 5188-5188