Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30030-30060	例 Process and BreakingRecord agent Process and AutonomousAgent Set Class, Process, TimePoint, CaseRole, Object and Entity 例 Set and Set 元件 AutonomousAgent and Set 子類 Class and Process 例 Object and Region 例 TimePoint and TimePoint 例 Entity and Quantity 例 Process and Class 參照 Process and Entity 參照 Entity and Process AutonomousAgent 對於 Process 在事件 CaseRole plays 角色 Process 是 located 在 Object Entity Entity 例 Entity and Set 等於 Entity and AutonomousAgent 例 Entity and Class 持有期間時間間隔 TimePoint and 結束何時 Process and Entity 對於 Entity 在事件 CaseRole plays 角色 Entity 是 located 在 Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2091-2091	子類 TimePoint and TimePosition
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2135-2135	子類時代 and TimePoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8780-8780	子類 Midnight and TimePoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8854-8854	子類 Noon and TimePoint