Toe
|
|
appearance as argument number 1 |
(documentation Toe EnglishLanguage "The five extremities of a Foot.") | Mid-level-ontology.kif 12759-12759 | |
(externalImage Toe "http://upload.wikimedia.org/wikipedia/commons/5/5d/Tenen.jpg") | pictureList.kif 190-190 | |
(subclass Toe AnimalAnatomicalStructure) | Mid-level-ontology.kif 12756-12756 | 脚趾 是 动物解剖结构 的 subclass |
(subclass Toe BodyPart) | Mid-level-ontology.kif 12757-12757 | 脚趾 是 身体部位 的 subclass |
(subclass Toe DigitAppendage) | Mid-level-ontology.kif 12758-12758 | 脚趾 是 数字附属物 的 subclass |
appearance as argument number 2 |
(termFormat ChineseLanguage Toe "脚趾") | domainEnglishFormat.kif 58316-58316 | |
(termFormat ChineseTraditionalLanguage Toe "腳趾") | domainEnglishFormat.kif 58315-58315 | |
(termFormat EnglishLanguage Toe "toe") | domainEnglishFormat.kif 58314-58314 |
antecedent |
(=> (instance ?TOE Toe) (exists (?FOOT) (and (instance ?FOOT Foot) (part ?TOE ?FOOT)))) |
Mid-level-ontology.kif 12761-12766 |