Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15015-15023	例 Collection and 行業 Physical Physical and Class 會員 Physical and Collection 會員 Physical and Collection 子類 Class and Corporation 立即實例 Physical and Class 立即實例 Physical and Class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16210-16210	子類 Corporation and Business
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16212-16212	子類 Corporation and LegalAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16219-16219	子類生產廠家 and Corporation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16232-16232	子類商業組織 and Corporation
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4397-4397	子類 LabCorp and Corporation