![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
(documentation Hoof EnglishLanguage "The hard end of the Foot of a HoofedMammal.") | Mid-level-ontology.kif 12790-12790 | |
(subclass Hoof AnimalAnatomicalStructure) | Mid-level-ontology.kif 12788-12788 | Hoof は AnimalAnatomicalStructure の subclass では |
(subclass Hoof BodyPart) | Mid-level-ontology.kif 12789-12789 | Hoof は 体の部分 の subclass では |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage Hoof "蹄") | domainEnglishFormat.kif 28550-28550 | |
(termFormat ChineseTraditionalLanguage Hoof "蹄") | domainEnglishFormat.kif 28549-28549 | |
(termFormat EnglishLanguage Hoof "hoof") | domainEnglishFormat.kif 28548-28548 |
antecedent |
![]() |
(=> (instance ?H Hoof) (exists (?F ?A) (and (instance ?F Foot) (instance ?A HoofedMammal) (part ?H ?F) (part ?F ?A)))) |
Mid-level-ontology.kif 12792-12799 |
![]() |
![]() |