NailDigit
|
|
appearance as argument number 1 |
(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 12548-12550 | |
(externalImage NailDigit "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 9/ 91/ Fingernails1.JPG/ 180px-Fingernails1.JPG") | pictureList.kif 1194-1194 | |
(subclass NailDigit AnimalAnatomicalStructure) | Mid-level-ontology.kif 12547-12547 |
appearance as argument number 2 |
(termFormat ChineseLanguage NailDigit "指甲数字") | domainEnglishFormat.kif 39623-39623 | |
(termFormat ChineseTraditionalLanguage NailDigit "指甲數字") | domainEnglishFormat.kif 39622-39622 | |
(termFormat EnglishLanguage NailDigit "nail") | domainEnglishFormat.kif 39621-39621 |
antecedent |
(=> (instance ?N NailDigit) (exists (?D) (and (instance ?D DigitAppendage) (part ?N ?D)))) |
Mid-level-ontology.kif 12552-12557 |