Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Merge.kif 828-830	例 Class and Class 子類 Class and Entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 137-141	子類 Class and Class 例 Class and Class 例 Class and Class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2136-2136	子類 Class and SetOrClass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 131-131	域子類, 1 and Class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 132-132	域子類, 2 and Class