Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8292-8301	例 Entity and 職業貿易例 Entity and 職業持有期間 TimePosition and attribute entity and Entity Class 子類 Class and FieldOfStudy 持有期間 TimePosition and Class 有在 entity 的專業知識
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8282-8282	子類職業貿易 and 熟練的職業
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8283-8283	子類職業貿易 and 體力勞動