| Hoof(hoof) | | hoof |
| appearance as argument number 1 |
|
|
| (documentation Hoof EnglishLanguage "The hard end of the Foot of a HoofedMammal.") | Mid-level-ontology.kif 12355-12355 | |
| (subclass Hoof AnimalAnatomicalStructure) | Mid-level-ontology.kif 12353-12353 | Hoof is a subclass of animal anatomical structure |
| (subclass Hoof BodyPart) | Mid-level-ontology.kif 12354-12354 | Hoof is a subclass of body part |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Hoof "蹄") | domainEnglishFormat.kif 28567-28567 | |
| (termFormat ChineseTraditionalLanguage Hoof "蹄") | domainEnglishFormat.kif 28566-28566 | |
| (termFormat EnglishLanguage Hoof "hoof") | domainEnglishFormat.kif 28565-28565 |
| antecedent |
|
|
| (=> (instance ?H Hoof) (exists (?F ?A) (and (instance ?F Foot) (instance ?A HoofedMammal) (part ?H ?F) (part ?F ?A)))) |
Mid-level-ontology.kif 12357-12364 |
|
|
|
|