Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18084-18092	例 Process and 收穫結果 Process and Entity EntityRG 例 Entity and 一個 dead EntityRG 子類 EntityRG and OrganicObject
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18072-18072	子類收穫 and Removing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18073-18073	子類收穫 and Killing
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5469-5469	子類砍伐 and 收穫