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