transactionAmount - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3097-3099
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11958-11960
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1868-1870
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11955-11955	域交易金額, 1 and FinancialTransaction
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11956-11956	域交易金額, 2 and CurrencyMeasure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11952-11952	例交易金額 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11953-11953	例交易金額 and SingleValuedRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11954-11954	例交易金額 and TotalValuedRelation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2539-2539
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2538-2538
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2537-2537
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 909-909	子關係收費金額 and 交易金額
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58833-58833	子關係收費金額 and 交易金額
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58832-58832	子關係收費金額 and 交易金額
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58831-58831	子關係收費金額 and 交易金額

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 436-453	例 FinancialTransaction and 存款例金融賬戶 and 金融賬戶目的地 FinancialTransaction and 金融賬戶的 currency 測量 RealNumber and UnitOfMeasure 是 FinancialTransaction 的 transaction 總額金融賬戶對於 %3 的 current 帳戶存款等於 RealNumber and 加成 RealNumber and RealNumber 金融賬戶對於 %3 的 current 帳戶存款
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 408-424	例 FinancialTransaction and 付款起源 FinancialTransaction and 金融賬戶的 currency 例金融賬戶 and 金融賬戶測量 RealNumber and UnitOfMeasure 是 FinancialTransaction 的 transaction 總額金融賬戶對於 %3 的 current 帳戶存款等於 RealNumber and 減法 RealNumber and RealNumber 金融賬戶對於 %3 的 current 帳戶存款
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3852-3866	例 FinancialTransaction and FinancialTransaction 起源 FinancialTransaction and 金融賬戶的 currency 測量 RealNumber and UnitOfMeasure 是 FinancialTransaction 的 transaction 總額例 UnitOfMeasure and UnitOfCurrency 例 Entity and 貨幣患者 FinancialTransaction and Entity 日期 FinancialTransaction and Day RealNumber 金融賬戶在 Day 的 available cash 是測量 RealNumber and UnitOfMeasure 大於或等於 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3829-3841	例 FinancialTransaction and FinancialTransaction 起源 FinancialTransaction and 金融賬戶測量 RealNumber and UnitOfMeasure 是 FinancialTransaction 的 transaction 總額例 UnitOfMeasure and UnitOfCurrency 日期 FinancialTransaction and Day RealNumber 金融賬戶在 Day 的 available balance 是測量 RealNumber and UnitOfMeasure 大於或等於 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 466-481	例 FinancialTransaction and 退出例金融賬戶 and 金融賬戶起源 FinancialTransaction and 金融賬戶測量 RealNumber and UnitOfMeasure 是 FinancialTransaction 的 transaction 總額金融賬戶對於 %3 的 current 帳戶存款等於 RealNumber and 減法 RealNumber and RealNumber 金融賬戶對於 %3 的 current 帳戶存款
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 834-842	CurrencyMeasure 是 FinancialTransaction 的 transaction 總額日期 FinancialTransaction and Day 例金融賬戶 and 金融賬戶目的地 FinancialTransaction and 金融賬戶的 currency 金融賬戶對於 TimeInterval 到期的 amount CurrencyMeasure 之前結束 Day and 開始 TimeInterval 例 FinancialTransaction and 預付款
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11962-11967	CurrencyMeasure 是 FinancialTransaction 的 transaction 總額 Physical 患者 FinancialTransaction and Physical 貨幣價值 Physical and CurrencyMeasure

consequent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 487-499	agent Process and AutonomousAgent 起源 Process and Object 患者 Process and Physical 貨幣價值 Physical and CurrencyMeasure FinancialTransaction 子過程 FinancialTransaction and Process 例 FinancialTransaction and 付款 CurrencyMeasure 是 FinancialTransaction 的 transaction 總額起源 FinancialTransaction and AutonomousAgent 目的地 FinancialTransaction and Object
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 655-667	金融賬戶對於 TimePosition 到期的 amount CurrencyMeasure CognitiveAgent 持有 account 金融賬戶持有義務卡帕 SymbolicString and 例 SymbolicString and 付款 CurrencyMeasure 是 SymbolicString 的 transaction 總額目的地 SymbolicString and 金融賬戶的 currency 起源 SymbolicString and 金融賬戶的 currency 日期 SymbolicString and entity 之前或相等結束 entity and 開始 TimePosition and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1275-1285	貸款是 CognitiveAgent 的 borrower CognitiveAgent lends 貸款 TimeInterval 是貸款的 agreement 週期貸款是對於 %3 的賺取 interest FinancialTransaction 起源 FinancialTransaction and CognitiveAgent 利益是 FinancialTransaction 的 transaction 總額目的地 FinancialTransaction and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 807-816	CurrencyMeasure 是貸款的 down 費用 TimePoint 是貸款的 agreement 生效日期 FinancialTransaction CurrencyMeasure 是 FinancialTransaction 的 transaction 總額日期 FinancialTransaction and TimePoint 目的地 FinancialTransaction and 貸款的 currency
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3202-3215	例 Collection and Collection Physical 會員 Physical and Collection 例 Physical and Auctioning SymbolicString entity_PURCHASE_AMOUNT total 價值在卡帕 SymbolicString and SymbolicString 是 Physical 的 transaction 總額是 entity_PURCHASE_AMOUNT 等於 Collection 的 total purchase price and entity_PURCHASE_AMOUNT
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1226-1236	例金融賬戶 and 信用賬戶金融賬戶是被金融機構 held CognitiveAgent 持有 account 金融賬戶金融賬戶是對於 %3 的賺取 interest FinancialTransaction 起源 FinancialTransaction and CognitiveAgent 利益是 FinancialTransaction 的 transaction 總額目的地 FinancialTransaction and 金融機構
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1238-1247	例金融賬戶 and 信用賬戶 CognitiveAgent 持有 account 金融賬戶 RealNumber 是金融賬戶的 principal 總額 TimeInterval 是金融賬戶的 agreement 週期金融賬戶是對於 %3 的賺取 interest 等於 RealNumber and 加成 RealNumber and 利益持有義務卡帕 SymbolicString and RealNumber 是 SymbolicString 的 transaction 總額 and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 686-699	例金融賬戶 and 金融賬戶金融賬戶是對於測量 RealNumber and UnitOfMeasure 的 minimum 金額開戶例 UnitOfMeasure and UnitOfCurrency FinancialTransaction TimePoint and RealNumber 目的地 FinancialTransaction and 金融賬戶的 currency 測量 RealNumber and UnitOfMeasure 是 FinancialTransaction 的 transaction 總額大於或等於 RealNumber and RealNumber TimePoint 是金融賬戶的 agreement 生效日期日期 FinancialTransaction and TimePoint
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1287-1296	例貸款 and 貸款貸款是 CognitiveAgent 的 borrower RealNumber 是貸款的 principal 總額 TimeInterval 是貸款的 agreement 週期貸款是對於 %3 的賺取 interest 等於 RealNumber and 加成 RealNumber and 利益持有義務卡帕 SymbolicString and RealNumber 是 SymbolicString 的 transaction 總額 and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1043-1052	例金融賬戶 and 儲蓄賬戶 CognitiveAgent 持有 account 金融賬戶金融賬戶是對於 %3 的賺取 interest FinancialTransaction 目的地 FinancialTransaction and 金融賬戶的 currency 利益是 FinancialTransaction 的 transaction 總額目的地 FinancialTransaction and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2347-2369	例金融資產 and 零息債券 Day 是金融資產的帳號的 maturity 日期擁有金融資產Holder and 金融資產測量 RealNumber and UnitOfMeasure 是金融資產的帳號的 principal 總額 TimeInterval 是金融資產的帳號的 agreement 週期金融資產的帳號是對於 %3 的賺取 interest 等於 RealNumber and 加成 RealNumber and RealNumber FinancialTransaction 例 FinancialTransaction and 付款目的地 FinancialTransaction and 金融資產Holder 起源 FinancialTransaction and 金融資產的帳號測量 RealNumber and UnitOfMeasure 是 FinancialTransaction 的 transaction 總額
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 340-351	例 Process and 存款支票患者 Process and 校驗例校驗 and 校驗金融賬戶是校驗的 check 帳戶貨幣價值校驗 and CurrencyMeasure FinancialTransaction 例 FinancialTransaction and 存款目的地 FinancialTransaction and 金融賬戶的 currency CurrencyMeasure 是 FinancialTransaction 的 transaction 總額
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1425-1435	例貸款 and 氣球貸款 Day 是貸款的 maturity 日期 CurrencyMeasure 是貸款的 total 存款貸款是 CognitiveAgent 的 borrower 持有義務卡帕 SymbolicString and 日期 SymbolicString and Day CurrencyMeasure 是 SymbolicString 的 transaction 總額目的地 SymbolicString and 貸款的 currency and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1442-1457	例貸款 and 可贖回貸款 CognitiveAgent lends 貸款貸款是 CognitiveAgent 的 borrower CurrencyMeasure 是貸款的 total 存款例 Process and 呼叫 agent Process and CognitiveAgent 患者 Process and 貸款持有義務卡帕 SymbolicString and 目的地 SymbolicString and CognitiveAgent 時間 SymbolicString and 眼前的未來何時 Process CurrencyMeasure 是 SymbolicString 的 transaction 總額 and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1206-1221	例金融賬戶 and 利潤分享計劃 CognitiveAgent 持有 account 金融賬戶採用 AutonomousAgent and CognitiveAgent 從 FinancialTransaction 的 profit 是測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and UnitOfCurrency agent FinancialTransaction and AutonomousAgent RealNumber RealNumberAY 例 RealNumberAY and FinancialTransaction 測量 RealNumber and UnitOfMeasure 是 RealNumberAY 的 transaction 總額少於 RealNumber and RealNumber 目的地 RealNumberAY and 金融賬戶
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.	FinancialOntology.kif 1463-1480	例 Process and 再融資時間 Process and Day 例貸款 and 貸款抵押是貸款的 secured 貸款是 CognitiveAgent 的 borrower 貸款對於 %3 的 current 帳戶存款患者 Process and 貸款貸款 FinancialTransaction 例貸款 and 貸款貸款是 CognitiveAgent 的 borrower 抵押是貸款的 secured 目的地 FinancialTransaction and 貸款的 currency 時間 FinancialTransaction and Day 起源 FinancialTransaction and 貸款的 currency CurrencyMeasure 是 FinancialTransaction 的 transaction 總額
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.	FinancialOntology.kif 104-118	貨幣價值校驗 and CurrencyMeasure 金融賬戶是校驗的 check 帳戶例 Process and 處理檢查患者 Process and 校驗等於何時 Process and ProcessTime FinancialTransaction FinancialTransactionTime 例 FinancialTransaction and 退出儀器 FinancialTransaction and 校驗等於何時 FinancialTransaction and FinancialTransactionTime 短暫相遇 ProcessTime and FinancialTransactionTime CurrencyMeasure 是 FinancialTransaction 的 transaction 總額起源 FinancialTransaction and 金融賬戶
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 120-135	貨幣價值 Object and CurrencyMeasure 例 Process and 處理檢查患者 Process and Object 目的地 Process and 金融賬戶的 currency 例金融賬戶 and 金融賬戶等於何時 Process and ProcessTime FinancialTransaction FinancialTransactionTime 例 FinancialTransaction and 存款儀器 FinancialTransaction and Object 等於何時 FinancialTransaction and FinancialTransactionTime 短暫相遇 ProcessTime and FinancialTransactionTime CurrencyMeasure 是 FinancialTransaction 的 transaction 總額目的地 FinancialTransaction and 金融賬戶的 currency
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 276-289	對於 Physical 協商的 price 在協議是 CurrencyMeasure 協議是 CognitiveAgent 的 party 協議協議是 CognitiveAgent 的 party 協議模態屬性 entity entity 例 entity and Selling 患者 entity and entity 立即實例 entity and Physical agent entity and CognitiveAgent 目的地 entity and CognitiveAgent CurrencyMeasure 是 entity 的 transaction 總額 and 諾言
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.	Catalog.kif 372-387	Entity 的 price 從 CognitiveAgent 根據 PricingScheme 是 CurrencyMeasure unit price 已收費 CognitiveAgent 在 PricingScheme 底下對於 FunctionQuantity 是 Entity 子類 Entity and Physical 立即實例 Entity and Entity PricingScheme 是 valid during TimeInterval 持有期間 TimeInterval and 模態屬性例 entity and Selling agent entity and CognitiveAgent 患者 entity and Entity CurrencyMeasure 是 entity 的 transaction 總額 and 容易
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 容易

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: