(=> (and (equal ?S (OrganicObjectFn ?O)) (subclass ?S Sheepskin) (subclass ?O Skin)) (initialPart ?O Sheep)) |
Economy.kif 5051-5056 | |
(=> (and (equal ?P (OrganicObjectFn ?S)) (subclass ?P Pelt)) (subclass ?S Skin)) |
Economy.kif 5032-5036 |
|
(=> (and (equal ?S (OrganicObjectFn ?O)) (subclass ?S Lambskin) (subclass ?O Skin)) (initialPart ?O Lamb)) |
Economy.kif 5041-5046 | |
(subclass Skin BodyCovering) | Mid-level-ontology.kif 10986-10986 | Skin e' uma sub-classe de parte do corpo recobrindo outra |
(subclass Skin AnimalAnatomicalStructure) | Mid-level-ontology.kif 10987-10987 | Skin e' uma sub-classe de AnimalAnatomicalStructure |
(subclass Eyelid Skin) | Mid-level-ontology.kif 12155-12155 | Eyelid e' uma sub-classe de Skin |