| (=> (and (equal ?S (OrganicObjectFn ?O)) (subclass ?S Sheepskin) (subclass ?O Skin)) (initialPart ?O Sheep)) |
Economy.kif 5392-5397 | |
| (=> (and (equal ?S (OrganicObjectFn ?F)) (subclass ?S Suet) (subclass ?F FatTissue)) (or (initialPart ?F Cattle) (initialPart ?F Sheep))) |
Food.kif 2913-2921 | |
| (subclass Sheep HoofedMammal) | Mid-level-ontology.kif 21795-21795 | |
| (subclass Sheep DomesticAnimal) | Mid-level-ontology.kif 21796-21796 | |
| (subclass Lamb Sheep) | Mid-level-ontology.kif 21800-21800 |
|
|