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.	Economy.kif 5032-5036	If a kind of object is equal to Object made from a kind of organic object and a kind of object is a subclass of pelt, then a kind of organic object is a subclass of skin
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5041-5046	If a kind of object is equal to Object made from another kind of object and a kind of object is a subclass of lambskin and another kind of object is a subclass of skin, then every the other kind of object is initially part of a lamb
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10986-10986	Skin is a subclass of body covering
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10987-10987	Skin is a subclass of animal anatomical structure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12155-12155	Eyelid is a subclass of skin