DigitAppendage - Sigma Knowledge base Browser

appearance as argument number 1

(documentation DigitAppendage EnglishLanguage "Any of the extremities of Limbs that are found in the higer Vertebrates and the Amphibians.")	Mid-level-ontology.kif 13379-13380
(externalImage DigitAppendage "http://upload.wikimedia.org/wikipedia/commons/ 4/ 45/ LeftHand.jpg")	pictureList.kif 1091-1091
(initialPart DigitAppendage Limb)	Mid-level-ontology.kif 13401-13401	Every digit appendage is initially part of a limb
(subclass DigitAppendage AnimalAnatomicalStructure)	Mid-level-ontology.kif 13377-13377	Digit appendage is a subclass of animal anatomical structure
(subclass DigitAppendage BodyPart)	Mid-level-ontology.kif 13378-13378	Digit appendage is a subclass of body part

appearance as argument number 2

(subclass Finger DigitAppendage)	Mid-level-ontology.kif 13403-13403	Finger is a subclass of digit appendage
(subclass Toe DigitAppendage)	Mid-level-ontology.kif 13655-13655	Toe is a subclass of digit appendage
(termFormat ChineseLanguage DigitAppendage "数字附属物")	domainEnglishFormat.kif 19545-19545	Toe is a subclass of digit appendage
(termFormat ChineseTraditionalLanguage DigitAppendage "數字附屬物")	domainEnglishFormat.kif 19544-19544	Toe is a subclass of digit appendage
(termFormat EnglishLanguage DigitAppendage "digit appendage")	domainEnglishFormat.kif 19543-19543	Toe is a subclass of digit appendage

antecedent

(=>
    (instance ?DIGIT DigitAppendage)
    (exists (?LIMB)
        (and
            (instance ?LIMB Limb)
            (part ?DIGIT ?LIMB))))

Mid-level-ontology.kif 13382-13387

consequent

(=>
    (instance ?N NailDigit)
    (exists (?D)
        (and
            (instance ?D DigitAppendage)
            (part ?N ?D))))

Mid-level-ontology.kif 13421-13426