(=> (and (equal ?S (OrganicObjectFn ?O)) (subclass ?S Sheepskin) (subclass ?O Skin)) (initialPart ?O Sheep)) |
Economy.kif 5051-5056 | |
(=> (and (equal ?S (OrganicObjectFn ?F)) (subclass ?S Suet) (subclass ?F FatTissue)) (or (initialPart ?F Cattle) (initialPart ?F Sheep))) |
Food.kif 2906-2914 | |
(subclass Sheep HoofedMammal) | Mid-level-ontology.kif 20178-20178 | |
(subclass Sheep DomesticAnimal) | Mid-level-ontology.kif 20179-20179 | |
(subclass Lamb Sheep) | Mid-level-ontology.kif 20183-20183 |