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 数量是金融账户的 instance
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 673-673	目前账户余额的 2 数量是日的 instance
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 674-674	目前账户余额的 3 数量是货币测量的 instance
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 671-671	目前账户余额是三元谓语的 instance

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 3806-3806	可用余额是目前账户余额的 subrelation
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18114-18114
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18113-18113
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18112-18112

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 722-726	如果时点是金融账户的 agreement 生效日期和那个金融账户对于 %3 的 current 帐户存款，然后货币测量是那个金融账户的 original 金额
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 783-788	如果金融账户对于 %3 的 current 帐户存款和实数是 lessThan 0 和另一个实数 equal (0 和那个实数)，然后那个金融账户是对于日的 overdraft 那个另外实数美国美元
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 701-714	如果金融账户是金融账户的 instance 和那个金融账户是对于实数测量单位的 minimum 金额使用帐户和那个测量单位是 UnitOfCurrency 的 instance 和那个金融账户对于 %3 的 current 帐户存款和另一个实数是 lessThan 那个实数，然后有存在过程这样那个过程是罚款的 instance 和那个过程的 date 是日和那个过程在那个金融账户的 currency 结束
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2489-2494	如果键是可赎回的债券的 instance 和那个键的帐号对于 %3 的 current 帐户存款和日是那个键的 call 日期，然后那个键的帐号对于那个日到期的 amount 货币测量
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 436-453	如果金融交易是存款的 instance 和金融账户是金融账户的 instance 和那个金融交易在那个金融账户的 currency 结束和实数测量单位是那个金融交易的 transaction 总额和那个金融账户对于 %3 的 current 帐户存款和另一个实数 equal (第三实数和那个实数)，然后那个金融账户对于 %3 的 current 帐户存款
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 408-424	如果金融交易是付款的 instance 和金融账户的 currency 是那个金融交易的源头和那个金融账户是金融账户的 instance 和实数测量单位是那个金融交易的 transaction 总额和那个金融账户对于 %3 的 current 帐户存款和另一个实数 equal (第三实数和那个实数)，然后那个金融账户对于 %3 的 current 帐户存款
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1449-1466	如果过程是再融资的 instance 和那个过程在日是存在和贷款是贷款的 instance 和抵押是那个贷款的 secured 和那个贷款是有认知的主事的 borrower 和那个贷款对于 %3 的 current 帐户存款和那个贷款是那个过程的 patient，然后有存在另一个贷款和金融交易这样那个另外贷款是贷款的 instance 和那个另外贷款是那个有认知的主事的 borrower 和那个抵押是那个贷款的 secured 和那个金融交易在那个贷款的 currency 结束和那个金融交易在那个日是存在和那个另外贷款的 currency 是那个金融交易的源头和货币测量是那个金融交易的 transaction 总额
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 466-481	如果金融交易是退出的 instance 和金融账户是金融账户的 instance 和那个金融账户是那个金融交易的源头和实数测量单位是那个金融交易的 transaction 总额和那个金融账户对于 %3 的 current 帐户存款和另一个实数 equal (第三实数和那个实数)，然后那个金融账户对于 %3 的 current 帐户存款

consequent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 436-453	如果金融交易是存款的 instance 和金融账户是金融账户的 instance 和那个金融交易在那个金融账户的 currency 结束和实数测量单位是那个金融交易的 transaction 总额和那个金融账户对于 %3 的 current 帐户存款和另一个实数 equal (第三实数和那个实数)，然后那个金融账户对于 %3 的 current 帐户存款
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1399-1404	如果时距是贷款的 instance 和时点 equal 那个时距的开始和货币测量是那个时距的 total 存款，然后那个时距对于 %3 的 current 帐户存款
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 408-424	如果金融交易是付款的 instance 和金融账户的 currency 是那个金融交易的源头和那个金融账户是金融账户的 instance 和实数测量单位是那个金融交易的 transaction 总额和那个金融账户对于 %3 的 current 帐户存款和另一个实数 equal (第三实数和那个实数)，然后那个金融账户对于 %3 的 current 帐户存款
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 466-481	如果金融交易是退出的 instance 和金融账户是金融账户的 instance 和那个金融账户是那个金融交易的源头和实数测量单位是那个金融交易的 transaction 总额和那个金融账户对于 %3 的 current 帐户存款和另一个实数 equal (第三实数和那个实数)，然后那个金融账户对于 %3 的 current 帐户存款
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4044-4050	如果货币测量是金融账户的 last 声明结余，然后有存在银行对帐单和日这样那个银行对帐单是那个金融账户的 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