Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Economy.kif 5051-5056	If a kind of object is equal to Object made from another kind of object and a kind of object is a subclass of sheepskin and another kind of object is a subclass of skin, then every the other kind of object is initially part of a sheep
No TPTP formula. May not be expressible in strict first order.	Food.kif 2906-2914	If a kind of object is equal to Object made from another kind of object and a kind of object is a subclass of suet and another kind of object is a subclass of fat tissue, then every the other kind of object is initially part of a cattle or every the other kind of object is initially part of a sheep
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20178-20178	Sheep is a subclass of hoofed mammal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20179-20179	Sheep is a subclass of domestic animal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20183-20183	Lamb is a subclass of sheep