Buying - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3107-3108
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11997-11998
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6221-6221
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6224-6224
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6223-6223
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5894-5894
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6220-6220
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6222-6222
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11996-11996	相關的內部概念 Buying and Selling
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11995-11995	子類 Buying and FinancialTransaction

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1142-1142
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1501-1501
No TPTP formula. May not be expressible in strict first order.	french_format.kif 820-820
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 352-352
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 355-355
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2504-2504
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 772-772
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 357-357
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 391-391
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 650-650
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 841-841
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 356-356

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2022-2043	attribute FinancialTransaction and 限價訂單協議是 FinancialTransaction 的 party 協議 attribute 協議 and 經紀人 FinancialTransaction 是對於安全的 order Buying 測量安全 and PhysicalQuantity 測量 RealNumber and UnitOfMeasure 是 FinancialTransaction 的 limit 價格例 UnitOfMeasure and UnitOfCurrency AutonomousAgent 為了安全 asks 測量 RealNumber and UnitOfMeasure 小於或等於 RealNumber and RealNumber 持有義務卡帕 SymbolicString and 例 SymbolicString and Buying 患者 SymbolicString and 安全測量安全 and PhysicalQuantity 等於何時 SymbolicString and SymbolicStringingTime 暫時重疊 AutonomousAgent and SymbolicStringingTime and 協議
No TPTP formula. May not be expressible in strict first order.	Dining.kif 130-150	AutonomousAgent 是 CognitiveAgent 的 customer AutonomousAgent 對 CurrencyMeasure 收費在 corkage 為了 Object 例 Object and Object Process 例 Process and Buying 患者 Process and Object 目的地 Process and CognitiveAgent 起源 Process and AutonomousAgent 例 Process and Drinking agent Process and CognitiveAgent 資源 Process and Object Process 例 Process and Corkage agent Process and CognitiveAgent 參照 Process and Object 目的地 Process and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 337-352	例 Process and Buying 患者 Process and Entity 起源 Process and CognitiveAgent Entity 的 price 從 CognitiveAgent 根據 PricingScheme 是 CurrencyMeasure unit price 已收費 CognitiveAgent 在 PricingScheme 底下對於 FunctionQuantity 是 Entity 子類 Entity and Physical 立即實例 Entity and Entity 付款是 valid payment 在 PricingScheme 底下模態屬性付款MENT 例付款MENT and 付款子過程付款MENT and Process and 容易
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12000-12004	例 Process and Buying agent Process and AutonomousAgent 目的地 Process and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12010-12021	例 Process and Buying agent Process and AutonomousAgent 起源 Process and AutonomousAgent 患者 Process and Entity Process 例 Process and Selling agent Process and AutonomousAgent 目的地 Process and AutonomousAgent 患者 Process and Entity
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1940-1953	例 Process and TransactionCollection 例 Process and Buying 例 Process and Buying 子過程 Process and Process 子過程 Process and Process agent Process and AutonomousAgent 儀器 Process and Object agent Process and AutonomousAgent agent Process and AutonomousAgent 儀器 Process and Object 儀器 Process and Object
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1929-1938	例 Process and TransactionCollection 例 Process and Buying 例 Process and Buying 子過程 Process and Process 子過程 Process and Process 等於何時 Process and 何時 Process
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2956-2983	例 Collection and Collection Physical 會員 Physical and Collection 例 Physical and Buying Object 例 Object and GeopoliticalArea AutonomousAgent Process 例 AutonomousAgent and AutonomousAgent 例 Process and Buying 會員 Process and Collection agent Process and AutonomousAgent 位於 AutonomousAgent and Object SymbolicString entity and entity_PURCHASE_AMOUNT total 價值在卡帕 SymbolicString and 例 entity and Buying 會員 entity and Collection SymbolicString 是 entity 的 transaction 總額是 entity_PURCHASE_AMOUNT 等於 Collection 的 value and entity_PURCHASE_AMOUNT
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2999-3026	例 Collection and Collection Physical 會員 Physical and Collection 例 Physical and Selling Object 例 Object and GeopoliticalArea AutonomousAgent Process 例 AutonomousAgent and AutonomousAgent 例 Process and Buying 會員 Process and Collection agent Process and AutonomousAgent 位於 AutonomousAgent and Object SymbolicString entity and entity_SALE_AMOUNT total 價值在卡帕 SymbolicString and 例 entity and Selling 會員 entity and Collection SymbolicString 是 entity 的 transaction 總額是 entity_SALE_AMOUNT 等於 Collection 的 value and entity_SALE_AMOUNT
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1841-1858	例 Object and Buying attribute Object and CBT 患者 Object and Entity 例 Entity and Object Object AutonomousAgent, AutonomousAgent_LOCATION and Object_LOCATION 例 AutonomousAgent and AutonomousAgent 例 Object and AutonomousAgent agent Object and AutonomousAgent 起源 Object and Object 例 AutonomousAgent_LOCATION and GeopoliticalArea 例 Object_LOCATION and GeopoliticalArea 位於 Object and Object_LOCATION 位於 AutonomousAgent and AutonomousAgent_LOCATION 等於 AutonomousAgent_LOCATION and Object_LOCATION
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3668-3704	例 Collection and Collection 例 Collection and Collection 子集合 Collection and Collection Physical 會員 Physical and Collection 例 Physical and AccessingWebPage Process AutonomousAgent, Process, Process and Object 例 AutonomousAgent and Human 例 Process and Buying 例 Process and AccessingWebPage 例 Object and WebPage 會員 Process and Collection 目的地 Process and Object agent Process and AutonomousAgent agent Process and AutonomousAgent 期間何時 Process and 何時 Process 儀器 Process and Object 會員 Process and Collection TimeInterval entity_IN_INTERVAL and entity_IN_INTERVAL 等於 purchases 花在 Collection 期間 TimeInterval and 部基數卡帕 entity_IN_INTERVAL and 會員 entity_IN_INTERVAL and Collection 期間何時 entity_IN_INTERVAL and TimeInterval and 基數卡帕 entity_IN_INTERVAL and 會員 entity_IN_INTERVAL and Collection 期間何時 entity_IN_INTERVAL and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 430-445	CognitiveAgent sells Entity 對於測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and UnitOfCurrency Entity 的 price 從 CognitiveAgent 根據 PricingScheme 是測量 RealNumber and UnitOfMeasure PricingScheme 是 valid 對於 AutonomousAgent 例 Entity and Entity 例 Process and Buying 立即實例 AutonomousAgent and AutonomousAgent agent Process and AutonomousAgent 起源 Process and CognitiveAgent 少於 RealNumber and RealNumber 模態屬性 RealNumber 是 Process 的 transaction 總額 and 容易

consequent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2022-2043	attribute FinancialTransaction and 限價訂單協議是 FinancialTransaction 的 party 協議 attribute 協議 and 經紀人 FinancialTransaction 是對於安全的 order Buying 測量安全 and PhysicalQuantity 測量 RealNumber and UnitOfMeasure 是 FinancialTransaction 的 limit 價格例 UnitOfMeasure and UnitOfCurrency AutonomousAgent 為了安全 asks 測量 RealNumber and UnitOfMeasure 小於或等於 RealNumber and RealNumber 持有義務卡帕 SymbolicString and 例 SymbolicString and Buying 患者 SymbolicString and 安全測量安全 and PhysicalQuantity 等於何時 SymbolicString and SymbolicStringingTime 暫時重疊 AutonomousAgent and SymbolicStringingTime and 協議
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31601-31610	CognitiveAgent buys Entity 從 AutonomousAgent 例 Entity and Physical Process 例 Process and Buying 患者 Process and Entity agent Process and CognitiveAgent 起源 Process and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31612-31622	CognitiveAgent buys Proposition 從 AutonomousAgent 例 Proposition and Proposition Process Process agent Process and CognitiveAgent 實現 Process and Proposition 例 Process and Buying 患者 Process and Process 起源 Process and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3231-3235	等於 CurrencyMeasure and Collection 的 average price 會員 Physical and Collection 例 Physical and Buying
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3534-3543	Collection 是在 WebSite 的 first time buyers 在其間 TimeInterval 會員 AutonomousAgent and Collection FinancialTransaction 例 FinancialTransaction and Buying agent FinancialTransaction and AutonomousAgent WebSite facilitates FinancialTransaction 期間何時 FinancialTransaction and TimeInterval
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3545-3555	Collection 是在 WebSite 的 first time buyers 在其間 TimeInterval 會員 AutonomousAgent and Collection FinancialTransaction 例 FinancialTransaction and Buying agent FinancialTransaction and AutonomousAgent WebSite facilitates FinancialTransaction 早期何時 FinancialTransaction and TimeInterval
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1312-1324	例 Process and AddToCart 例 CognitiveAgent and AutonomousAgent 例 Entity and Object agent Process and CognitiveAgent 患者 Process and Entity 慾望 CognitiveAgent and entity 例 entity and Buying 患者 entity and Entity agent entity and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2887-2903	例 Collection and Collection Physical 會員 Physical and Collection 例 Physical and FinancialTransaction SymbolicString entity 等於基數卡帕 SymbolicString and 例 SymbolicString and Physical 例 entity and Buying 會員 entity and Collection 患者 entity and SymbolicString and 在 Collection 裡購買的樣品數量
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2845-2870	例 Collection and Collection Physical 會員 Physical and Collection 例 Physical and WebListing 等於部基數 entity entity and entity 卡帕 entity and 例 entity and WebListing 例 entity and WebSite 例 entity and Physical 會員 entity and Collection 患者 entity and entity entity 是在 entity hosted entity 例 entity and Buying 患者 entity and entity entity facilitates entity and 基數 Collection and 在 Collection 的 bids 數字
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3095-3114	例試驗 and 試驗例 TimeInterval and TimeInterval 等於部基數卡帕 SymbolicString and 例 SymbolicString and Buying 會員 SymbolicString and purchases 在試驗期間何時 SymbolicString and TimeInterval and 基數卡帕 SymbolicString and 會員 SymbolicString and treated users 在試驗例 entity and AccessingWebPage 期間何時 entity and TimeInterval agent entity and SymbolicString and purchases per user 在試驗期間 TimeInterval
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3056-3073	例試驗 and 試驗例 Entity and TimeInterval 等於部基數卡帕 SymbolicString and 例 SymbolicString and Buying 會員 SymbolicString and purchases 在試驗 and 基數卡帕 SymbolicString and 會員 SymbolicString and treated users 在試驗例 entity and AccessingWebPage agent entity and SymbolicString and purchases per user 在試驗
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2768-2780	例 Process and 執行一個選項患者 Process and 協議屬性協議 and 看漲期權時間 Process and TimePosition 金融工具是協議的 underlier Process 例 Process and Buying 患者 Process and 金融工具時間 Process and TimePosition 測量金融工具 and 測量 100 and ShareUnit
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3376-3408	例 TimeInterval and TimeInterval 例 WebSite and WebSite Collection 例 Collection and Collection AutonomousAgent 會員 AutonomousAgent and Collection TimeInterval 例 AutonomousAgent and AutonomousAgent 例 TimeInterval and Buying agent TimeInterval and AutonomousAgent 儀器 TimeInterval and WebSite 期間 TimeInterval and TimeInterval TimeInterval_BEFORE 例 TimeInterval_BEFORE and TimeInterval 早期 TimeInterval_BEFORE and TimeInterval 持有期間 TimeInterval_BEFORE and TimeInterval_BEFORE 例 TimeInterval_BEFORE and Buying agent TimeInterval_BEFORE and AutonomousAgent 儀器 TimeInterval_BEFORE and WebSite 期間 TimeInterval_BEFORE and TimeInterval 等於 new buyers 在 WebSite 其間 TimeInterval and Collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2956-2983	例 Collection and Collection Physical 會員 Physical and Collection 例 Physical and Buying Object 例 Object and GeopoliticalArea AutonomousAgent Process 例 AutonomousAgent and AutonomousAgent 例 Process and Buying 會員 Process and Collection agent Process and AutonomousAgent 位於 AutonomousAgent and Object SymbolicString entity and entity_PURCHASE_AMOUNT total 價值在卡帕 SymbolicString and 例 entity and Buying 會員 entity and Collection SymbolicString 是 entity 的 transaction 總額是 entity_PURCHASE_AMOUNT 等於 Collection 的 value and entity_PURCHASE_AMOUNT
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 86-98	AutonomousAgent buys WebListing 例 Entity and Object 例 WebSite and WebSite 患者 WebListing and EntityECT WebListing 是在 WebSite hosted FinancialTransaction 例 FinancialTransaction and Buying 患者 FinancialTransaction and Entity WebSite facilitates FinancialTransaction agent FinancialTransaction and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 311-324	對於 Physical 協商的 price 在協議是 CurrencyMeasure 協議是 CognitiveAgent 的 party 協議協議是 CognitiveAgent 的 party 協議 CognitiveAgent 有義務去做在協議的 entity entity 例 entity and Buying 患者 entity and entity 立即實例 entity and Physical agent entity and CognitiveAgent 起源 entity and CognitiveAgent CurrencyMeasure 是 entity 的 transaction 總額義務
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 354-370	Entity 的 price 從 CognitiveAgent 根據 PricingScheme 是 CurrencyMeasure unit price 已收費 CognitiveAgent 在 PricingScheme 底下對於 FunctionQuantity 是 Entity 子類 Entity and Physical 立即實例 Entity and Entity PricingScheme 是 valid 對於 AutonomousAgent 例 Entity and AutonomousAgent 模態屬性例 entity and Buying agent entity and Entity 起源 entity and CognitiveAgent 患者 entity and Entity CurrencyMeasure 是 entity 的 transaction 總額 and 容易
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2637-2653	屬性協議 and 選項 CognitiveAgent holds 協議 CurrencyMeasure 是協議的 strike 價錢協議有 expiration TimeInterval 金融工具是協議的 underlier 金融工具是對於 AutonomousAgent 的 price CurrencyMeasure 例 AutonomousAgent and TimeInterval 之前結束 AutonomousAgent and 開始 TimeInterval 堅持正確卡帕 SymbolicString and 例 SymbolicString and Buying 患者 SymbolicString and 金融工具時間 SymbolicString and AutonomousAgent 測量金融工具 and 測量 100 and ShareUnit agent SymbolicString and CognitiveAgent and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2701-2717	屬性協議 and 選項 CognitiveAgent sells 協議 CurrencyMeasure 是協議的 strike 價錢協議有 expiration TimeInterval 金融工具是對於 AutonomousAgent 的 price CurrencyMeasure 例 AutonomousAgent and TimeInterval 之前結束 AutonomousAgent and 開始 TimeInterval 金融工具是協議的 underlier 持有義務卡帕 SymbolicString and 例 SymbolicString and Buying 患者 SymbolicString and 金融工具時間 SymbolicString and AutonomousAgent 測量金融工具 and 測量 100 and ShareUnit agent SymbolicString and CognitiveAgent and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 32638-32653	shortage CognitiveAgent, Object, CurrencyMeasure, TimeInterval and Quantity 例 Quantity and Integer 慾望 CognitiveAgent and entity entity 例 entity and Buying 期間何時 entity and TimeInterval objectTransferred entity and entity CurrencyMeasure 是 entity 的 transaction 總額 agent entity and CognitiveAgent 例 entity and Collection Object 是 entity 的 member 類別 Quantity 是 entity 的 member 計數擁有 CognitiveAgent and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 32605-32620	shortage AutonomousAgent, Object, CurrencyMeasure, TimeInterval and Integer 例 Integer and Integer Transfer Collection 例 Transfer and Buying 期間何時 Transfer and TimeInterval objectTransferred Transfer and Collection CurrencyMeasure 是 Transfer 的 transaction 總額 agent Transfer and AutonomousAgent 例 Collection and Collection Object 是 Collection 的 member 類別 Integer 是 Collection 的 member 計數擁有 AutonomousAgent and Collection
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 32655-32669	shortage CognitiveAgent, Object, CurrencyMeasure, TimeInterval and Quantity 例 Quantity and PhysicalQuantity 慾望 CognitiveAgent and entity entity 例 entity and Buying 期間何時 entity and TimeInterval objectTransferred entity and entity CurrencyMeasure 是 entity 的 transaction 總額 agent entity and CognitiveAgent 例 entity and Object 測量 entity and Quantity 擁有 CognitiveAgent and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 32622-32636	shortage AutonomousAgent, Object, CurrencyMeasure, TimeInterval and PhysicalQuantity 例 PhysicalQuantity and PhysicalQuantity Transfer Object 例 Transfer and Buying 期間何時 Transfer and TimeInterval objectTransferred Transfer and Object CurrencyMeasure 是 Transfer 的 transaction 總額 agent Transfer and AutonomousAgent 例 Object and Object 測量 Object and PhysicalQuantity 擁有 AutonomousAgent and Object
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1257-1271	使用者 AutonomousAgent 在 WebSite 是 watching Collection 例 Process and WebListing 例 Entity and Object 患者 Process and Entity 會員 Process and Collection 模態屬性慾望 AutonomousAgent and entity 例 entity and Buying 患者 entity and Entity agent entity and AutonomousAgent and 容易
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 839-846	使用者 Human 在 WebSite 已 bought Collection 會員 FinancialTransaction and Collection 例 FinancialTransaction and Buying agent FinancialTransaction and Human WebSite facilitates FinancialTransaction

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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

KB Term:			Term intersection

English Word: