Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Hoof(hoof) |  | hoof |
| appearance as argument number 1 |
|
|
| (subclass Hoof AnimalAnatomicalStructure) | Mid-level-ontology.kif 12957-12957 | Hoof is a subclass of animal anatomical structure |
| (subclass Hoof BodyPart) | Mid-level-ontology.kif 12958-12958 | Hoof is a subclass of body part |
| (documentation Hoof EnglishLanguage "The hard end of the Foot of a HoofedMammal.") | Mid-level-ontology.kif 12959-12959 | Hoof is a subclass of body part |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?H Hoof) (exists (?F ?A) (and (instance ?F Foot) (instance ?A HoofedMammal) (part ?H ?F) (part ?F ?A)))) |
Mid-level-ontology.kif 12961-12968 | If X is an instance of hoof, then there exist Y, Z such that Y is an instance of foot, Z is an instance of hoofed mammal, X is a part of Y, and Y is a part of Z |
|