(=> (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 20177-20177 | Sheep è una sottoclasse di MammiferoUngulato |
(subclass Sheep DomesticAnimal) | Mid-level-ontology.kif 20178-20178 | Sheep è una sottoclasse di DomesticAnimal |
(subclass Lamb Sheep) | Mid-level-ontology.kif 20182-20182 | Lamb è una sottoclasse di Sheep |