No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18644-18656	例 Process and Awarding AutonomousAgent AutonomousAgent, Process and ProcessWARD 例 AutonomousAgent and AutonomousAgent 例 AutonomousAgent and AutonomousAgent 例 Process and Process 例 ProcessWARD and Object agent Process and AutonomousAgent agent Process and AutonomousAgent 患者 Process and ProcessWARD 目的地 Process and AutonomousAgent 原因 Process and Process
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2301-2312	例 Physical and BestMatchAlgorithm 有目的 Physical and entity entity, entity and entity 例 entity and SearchQuery 例 entity and SearchAttempt 代表 entity and entity 患者 Physical and entity 例 entity and AutonomousAgent 患者 entity and entity agent entity and entity
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 36-41	例 Abstract and Catalog AutonomousAgent 例 AutonomousAgent and AutonomousAgent AutonomousAgent offers 拍賣樣品在 Abstract
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 240-255	例 Process and FinalValueFee WebListing FinancialTransaction, AutonomousAgent, Entity and WebSite 例 WebListing and WebListing 例 FinancialTransaction and Selling 例 AutonomousAgent and AutonomousAgent 例 Entity and Physical 例 WebListing and WebListing 患者 WebListing and Entity 患者 FinancialTransaction and Entity 原因 FinancialTransaction and Process agent Process and AutonomousAgent WebListing 是在 WebSite hosted 擁有 AutonomousAgent and WebSite AutonomousAgent facilitates FinancialTransaction
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 220-230	例 Process and InsertionFee Entity Process and AutonomousAgent 例 Entity and WebListing 例 Process and ListOnSite 例 AutonomousAgent and AutonomousAgent 患者 Process and Entity 原因 Process and Process agent Process and AutonomousAgent agent Process and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 209-218	例 Process and InsertionFee WebSite AutonomousAgent and WebListing 例 WebSite and WebSite 例 AutonomousAgent and AutonomousAgent 例 WebListing and WebListing WebListing 是在 WebSite hosted 擁有 AutonomousAgent and WebSite agent Process and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2398-2403	例 Entity and Doll Entity 例 Entity and AutonomousAgent 代表 Entity and Entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13026-13035	例 Process and SocialInteraction Entity Entity Entity 是事件 Process 的 involved Entity 是事件 Process 的 involved 例 Entity and AutonomousAgent 例 Entity and AutonomousAgent 等於 Entity and Entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7931-7937	例 Entity and LargeGroupProcess Collection Physical 例 Collection and Collection 會員 Physical and Collection AutonomousAgent 是 Collection 的 member 類別
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29918-29924	例 SymbolicString and AccountNumber Physical Entity and Physical 例 Physical and Corporation 例 Entity and AutonomousAgent SymbolicString 是 unique ID 對於 Physical 相對於 Physical
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1140-1151	例 Collection and VisitorProfile AutonomousAgent WebSite 例 AutonomousAgent and AutonomousAgent 例 WebSite and WebSite Formula 會員 Formula and Collection 例 Formula and Formula Formula 是 known 關於 拜訪 WebSite 的 AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2215-2224	例 Physical and DataWarehouse 有目的 Physical and entity 例 entity and AutonomousAgent entity 在感興趣的範圍內 entity and entity 零件 entity and Physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22126-22132	例 Process and 人為破壞 Entity 例 Entity and AutonomousAgent 患者 Process and Entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30195-30206	方式 Process and Solely Entity Entity 是事件 Process 的 involved 例 Entity and AutonomousAgent Entity2 Entity2 是事件 Process 的 involved 例 Entity2 and AutonomousAgent 等於 Entity and Entity2
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2173-2191	數據庫 是 user database 對於 WebSite Object Collection 例 Collection and Collection 部分 Object and 數據庫 代表 Object and Collection Physical 會員 Physical and Collection 例 Physical and AutonomousAgent Process CorpuscularObject 例 Process and AccessingWebPage 例 CorpuscularObject and WebPage 患者 Process and 頁 agent Process and AutonomousAgent 零件 CorpuscularObject and WebSite

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