No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 690-700	使用者 CognitiveAgent 在 WebSite 有 cart Collection 例 Physical and Object 會員 Physical and Collection 慾望 CognitiveAgent and entity 例 entity and Buying 患者 entity and Physical agent entity and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Cars.kif 5150-5156	attribute Object and NewItem Transfer 例 Transfer and Buying objectTransferred Transfer and Object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 5137-5142	attribute Object and UsedItem Transfer 例 Transfer and Buying objectTransferred Transfer and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9317-9329	attribute Object and USNonPrescriptionDrug 模態屬性 entity 例 entity and Buying objectTransferred entity and Object entity 例 entity and Prescription 參照 entity and Object and 合法
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9295-9307	attribute Object and USPrescriptionDrug 模態屬性 entity 例 entity and Buying objectTransferred entity and Object entity 例 entity and Prescription 參照 entity and Object and 非法
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1912-1922	AutonomousAgent bids CurrencyMeasure 對於 Object Process 例 Process and 提供 患者 Process and entity 例 entity and Buying agent entity and AutonomousAgent 患者 entity and Object CurrencyMeasure 是 entity 的 transaction 總額
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2974-2986	每個東西的 value 由 AutonomousAgent 購買的 對於 Organization 在期間 TimeInterval 是 CurrencyMeasure 貨幣價值 Physical and CurrencyMeasure 例 Physical and 卡帕 SymbolicString and 例 entity and Buying 例 entity and SymbolicString agent entity and AutonomousAgent 患者 entity and entity 患者 entity and Organization 期間 entity and TimeInterval
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1654-1675	例 entity_OFFER and BestOffering 包含信息 entity_OFFER and entity entity, entity, entity and entity 例 entity and Buying agent entity and entity 患者 entity and entity 測量 entity and entity 是 entity 的 transaction 總額 內容承載物理 包含信息 內容承載物理 and entity2 entity and entity 例 entity2 and Buying agent entity2 and entity 患者 entity2 and entity 測量 entity and entity 是 entity2 的 transaction 總額 比較多 entity and entity
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1465-1475	例 Process and Checkout Process 例 Process and Buying 子過程 Process and Process Process 子過程 Process and Process 早期 何時 Process and 何時 Process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29883-29903	例 Entity and PurchaseOrder SymbolicString CognitiveAgent, CognitiveAgent and Entity 獨特標識符 SymbolicString and Entity CognitiveAgent buys Entity 從 CognitiveAgent 授予義務 entity 之前 開始 何時 Entity and 開始 何時 entity 例 entity and Buying 例 Entity and Product objectTransferred entity and Entity 參照 Entity and Entity agent entity and CognitiveAgent 患者 entity and CognitiveAgent, CognitiveAgent and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1918-1927	例 Process and TransactionCollection Process Process 例 Process and Buying 子過程 Process and Process 例 Process and Buying 子過程 Process and Process 等於 Process and Process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8405-8415	例 Object and 軍事盈餘 Physical Transfer 例 Transfer and Buying 患者 Transfer and Physical objectTransferred Transfer and Object 例 Physical and 軍事組織 會員 Physical and 軍事組織
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3097-3110	例 Process and 傳播選擇 Entity Entity, Process, Process and TimePosition 例 Entity and 選項 例 Entity and 選項 例 Process and Buying 例 Process and Selling 子過程 Process and Process 子過程 Process and Process 患者 Process and Entity 患者 Process and Entity 時間 Process and TimePosition 時間 Process and TimePosition
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7741-7748	Physical 是 對於 AutonomousAgent 的 price CurrencyMeasure FinancialTransaction 例 FinancialTransaction and Buying agent FinancialTransaction and AutonomousAgent 患者 FinancialTransaction and Physical CurrencyMeasure 是 FinancialTransaction 的 transaction 總額
No TPTP formula. May not be expressible in strict first order.	Music.kif 1499-1509	Object 是 released 對於 sale 在 GeographicArea 位於 TimePoint 持有期間 眼前的未來 TimePoint and 模態屬性 entity entity 例 entity and Object 例 entity and Buying entity 是 located 在 GeographicArea 患者 entity and entity and 可能性
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2242-2259	數據庫 是 catalog 對於 WebSite Object Collection and SymbolicString 例 Collection and Collection 部分 Object and 數據庫 代表 Object and Collection Object 會員 Object and Collection 例 Object and Physical 能力 卡帕 SymbolicString and 例 SymbolicString and Buying WebSite facilitates SymbolicString , 患者 and Object
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 452-466	AutonomousAgent didn't buy Object 模態屬性 Process 例 Process and Buying 患者 Process and Object agent Process and AutonomousAgent and 諾言 Process 例 Process and Buying 患者 Process and Object agent Process and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 829-837	使用者 Human 在 WebSite 已 bought Collection FinancialTransaction 例 FinancialTransaction and Buying agent FinancialTransaction and Human WebSite facilitates FinancialTransaction 會員 FinancialTransaction and Collection

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