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 8287-8287	子類職業 and 熟練的職業
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18938-18938	子類政府立場 and 職業
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6334-6334	子類 MedicalPerson and 職業