NailDigit - Sigma Knowledge base Browser

appearance as argument number 1

(subclass NailDigit AnimalAnatomicalStructure)	Mid-level-ontology.kif 14135-14135	Nail is a subclass of animal anatomical structure
(documentation NailDigit EnglishLanguage "Any of the horny structures which are found on the DigitAppendages of Primates and other Animals. This includes fingernails and toenails.")	Mid-level-ontology.kif 14136-14138	Nail is a subclass of animal anatomical structure
(externalImage NailDigit "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 9/ 91/ Fingernails1.JPG/ 180px_Fingernails1.JPG")	pictureList.kif 1194-1194	Nail is a subclass of animal anatomical structure

appearance as argument number 2

(termFormat EnglishLanguage NailDigit "nail")	domainEnglishFormat.kif 39625-39625
(termFormat ChineseTraditionalLanguage NailDigit "指甲數字")	domainEnglishFormat.kif 39626-39626
(termFormat ChineseLanguage NailDigit "指甲数字")	domainEnglishFormat.kif 39627-39627

antecedent

(=>
    (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