Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Merge.kif 12014-12026	例 Process and 決定 agent Process and CognitiveAgent 例 Set and Set 患者 Process and Set 元件 Entity and Set 相信 CognitiveAgent and entity 例 Entity and entity 子類 entity and IntentionalProcess 能力 entity, agent and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12006-12006	子類決定 and Selecting
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16054-16054	子類解析度 and 決定
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16275-16275	子類比賽電話 and 決定