TreeView Knowledge Base Browser

appearance as argument number 1

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

appearance as argument number 2

(subclass Finger DigitAppendage)	Mid-level-ontology.kif 14122-14122	Finger is a subclass of digit appendage
(subclass Toe DigitAppendage)	Mid-level-ontology.kif 14376-14376	Toe is a subclass of digit appendage
(termFormat EnglishLanguage DigitAppendage "digit appendage")	domainEnglishFormat.kif 19530-19530	Toe is a subclass of digit appendage
(termFormat ChineseTraditionalLanguage DigitAppendage "數字附屬物")	domainEnglishFormat.kif 19531-19531	Toe is a subclass of digit appendage
(termFormat ChineseLanguage DigitAppendage "数字附属物")	domainEnglishFormat.kif 19532-19532	Toe is a subclass of digit appendage

antecedent

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

If X is an instance of digit appendage, then there exists Y such that Y is an instance of limb and X is a part of Y

consequent

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

If X is an instance of nail, then there exists Y such that Y is an instance of digit appendage and X is a part of Y