currentAccountBalance - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - currentAccountBalance

currentAccountBalance

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 675-676
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 672-672	域目前賬戶餘額, 1 and 金融賬戶
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 673-673	域目前賬戶餘額, 2 and Day
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 674-674	域目前賬戶餘額, 3 and CurrencyMeasure
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 671-671	例目前賬戶餘額 and TernaryPredicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 620-620
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 619-619
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 618-618
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3820-3820	子關係可用餘額 and 目前賬戶餘額
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18129-18129	子關係可用餘額 and 目前賬戶餘額
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18128-18128	子關係可用餘額 and 目前賬戶餘額
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18127-18127	子關係可用餘額 and 目前賬戶餘額

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 722-726	TimePoint 是金融賬戶的 agreement 生效日期金融賬戶對於 %3 的 current 帳戶存款 CurrencyMeasure 是金融賬戶的 original 金額
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 783-788	金融賬戶對於 %3 的 current 帳戶存款少於 RealNumber and 0 等於 RealNumber and 減法 0 and RealNumber 金融賬戶是對於 Day 的 overdraft 測量 RealNumber and 美國美元
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 701-714	例金融賬戶 and 金融賬戶金融賬戶是對於測量 RealNumber and UnitOfMeasure 的 minimum 金額使用帳戶例 UnitOfMeasure and UnitOfCurrency 金融賬戶對於 %3 的 current 帳戶存款少於 RealNumber and RealNumber Process 例 Process and 罰款日期 Process and Day 目的地 Process and 金融賬戶的 currency
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2503-2508	例鍵 and 可贖回的債券鍵的帳號對於 %3 的 current 帳戶存款 Day 是鍵的 call 日期鍵的帳號對於 Day 到期的 amount CurrencyMeasure
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 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.	FinancialOntology.kif 466-481	例 FinancialTransaction and 退出例金融賬戶 and 金融賬戶起源 FinancialTransaction and 金融賬戶測量 RealNumber and UnitOfMeasure 是 FinancialTransaction 的 transaction 總額金融賬戶對於 %3 的 current 帳戶存款等於 RealNumber and 減法 RealNumber and RealNumber 金融賬戶對於 %3 的 current 帳戶存款

consequent

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 1413-1418	例 TimeInterval and 貸款等於 TimePoint and 開始 TimeInterval CurrencyMeasure 是 TimeInterval 的 total 存款 TimeInterval 對於 %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 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 4058-4064	CurrencyMeasure 是金融賬戶的 last 聲明結餘銀行對帳單 Day 銀行對帳單是金融賬戶的 last 聲明 %2 是 %3 的聲明 date 金融賬戶對於 %3 的 current 帳戶存款

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