Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Economy.kif 5051-5056	等於 Object and OrganicObjectFn Object 子類 Object and 羊皮子類 Object and 皮膚 %每個 Object 是羊的 initially part
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5032-5036	等於 Object and OrganicObjectFn OrganicObject 子類 Object and 毛皮子類 OrganicObject and 皮膚
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5041-5046	等於 Object and OrganicObjectFn Object 子類 Object and 小羊皮子類 Object and 皮膚 %每個 Object 是羔羊的 initially part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10986-10986	子類皮膚 and BodyCovering
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10987-10987	子類皮膚 and 動物解剖結構
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12155-12155	子類眼皮 and 皮膚