Hoof
|
|
appearance as argument number 1 |
(documentation Hoof EnglishLanguage "The hard end of the Foot of a HoofedMammal.") | Mid-level-ontology.kif 11459-11459 | |
(subclass Hoof AnimalAnatomicalStructure) | Mid-level-ontology.kif 11457-11457 | 蹄 是 动物解剖结构 的 subclass |
(subclass Hoof BodyPart) | Mid-level-ontology.kif 11458-11458 | 蹄 是 身体部位 的 subclass |
appearance as argument number 2 |
(termFormat ChineseLanguage Hoof "蹄") | domainEnglishFormat.kif 28539-28539 | |
(termFormat ChineseTraditionalLanguage Hoof "蹄") | domainEnglishFormat.kif 28538-28538 | |
(termFormat EnglishLanguage Hoof "hoof") | domainEnglishFormat.kif 28537-28537 |
antecedent |
(=> (instance ?H Hoof) (exists (?F ?A) (and (instance ?F Foot) (instance ?A HoofedMammal) (part ?H ?F) (part ?F ?A)))) |
Mid-level-ontology.kif 11461-11468 |