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 1694-1694	子類 Quantity and Abstract
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2874-2874	子類有限數量 and Quantity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2878-2878	子類無限的數量 and Quantity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1824-1824	子類 Number and Quantity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2025-2025	子類 PhysicalQuantity and Quantity
No TPTP formula. May not be expressible in strict first order.	engineering.kif 74-74	子類物理尺寸 and Quantity
No TPTP formula. May not be expressible in strict first order.	engineering.kif 293-293	子類多極數量 and Quantity

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners