(=> (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 |
![]() |