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 18241-18244
(domainSubclass DeadOrMissingBodyPartFn 1 BodyPart)	Merge.kif 18239-18239	Die Zahl 1 Argument von DeadOrMissingBodyPartFn ist eine teilkategorie von BodyPart %n{nicht}
(instance DeadOrMissingBodyPartFn UnaryFunction)	Merge.kif 18237-18237	DeadOrMissingBodyPartFn ist ein fall von UnaryFunction %n{nicht}
(range DeadOrMissingBodyPartFn DiseaseOrSyndrome)	Merge.kif 18240-18240	bildbereich von DeadOrMissingBodyPartFn ist ein fall von DiseaseOrSyndrome {nicht}
(relatedInternalConcept DeadOrMissingBodyPartFn DeadFn)	Merge.kif 18238-18238	DeadOrMissingBodyPartFn ist innerlich verwandt mit DeadFn %n{nicht}

appearance as argument number 2

domainEnglishFormat.kif 64746-64746

antecedent

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

Merge.kif 18246-18254

Wenn DeadOrMissingBodyPartFn Class ist ein attribut von Object %n{nicht} haelt waehrend TimePosition %n{nicht} und ** ClassI ist ein fall von ** Class %n{nicht} und ** ClassI ist ein teil von ** Object %n{nicht} und ** ClassI hat Zweck von Formula %n{nicht},
dann ** Formula

statement

(equal BrainDead
(DeadOrMissingBodyPartFn Brain))

Medicine.kif 5188-5188