CurrencyFn - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - CurrencyFn

CurrencyFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 285-286
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 283-283	货币的 1 数量是金融账户的 instance
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 282-282	货币是一元函数的 instance
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 284-284	货币的 range 是金融工具的实例

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 608-608
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 607-607
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 606-606
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18090-18090
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18089-18089
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18088-18088

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1818-1828	过程是退出的 instance 和金融账户是金融账户的 instance 和那个金融账户的 currency 是那个过程的源头和不存在另一个过程这样那个另外过程是罚款的 instance 和那个另外过程在那个金融账户的 currency 结束和那个过程 causes 那个另外过程若且唯若那个金融账户的 liqudity 是高流动性
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1129-1142	如果金融账户是支票账户的 instance 和过程是金融交易的 instance 和那个金融账户的 currency 是那个过程的源头，然后有存在客体这样那个客体是校验的 instance 和那个客体是导致那个过程的 instrument 或有存在另一个客体这样那个另外客体是金融卡的 instance 和那个另外客体是导致那个过程的 instrument
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1239-1247	如果金融账户是信用卡帐户的 instance 和过程是金融交易的 instance 和那个金融账户的 currency 是那个过程的源头，然后有存在客体这样那个客体是信用卡的 instance 和那个客体是导致那个过程的 instrument
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 759-775	如果责任账户是责任账户的 instance 和那个责任账户是對於月持续时间的 minimum 費用实数测量单位和那个测量单位是 UnitOfCurrency 的 instance 和有存在过程和时距这样那个时距是月的 instance 和那个过程在那个责任账户的 currency 结束和那个责任账户 payments 对于那个时距每周期另一个实数那个测量单位和那个另外实数是 lessThan 那个实数，然后有存在另一个过程这样那个另外过程是罚款的 instance 和那个另外过程在那个责任账户的 currency 结束
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1033-1041	如果金融账户是储蓄账户的 instance 和过程是金融交易的 instance 和那个金融账户的 currency 是那个过程的源头，然后有存在另一个过程这样那个另外过程是交易授权的 instance 和那个另外过程%n是那个过程的subProcess
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1115-1124	如果金融账户是传统储蓄账户的 instance 和过程是退出的 instance 和那个金融账户的 currency 是那个过程的源头，然后不存在另一个过程这样那个另外过程是罚款的 instance 和那个另外过程在那个金融账户的 currency 结束和那个过程 causes 那个另外过程
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1087-1099	如果金融账户是存款证的 instance 和日是那个金融账户的 maturity 日期和过程是退出的 instance 和那个金融账户的 currency 是那个过程的源头和那个过程的 date 是另一个日和那个另外日的结束%n在那个日的开始before发生，然后有存在另一个过程这样那个另外过程是罚款的 instance 和那个另外过程在那个金融账户的 currency 结束和那个过程 causes 那个另外过程
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 3838-3852	如果金融交易是金融交易的 instance 和金融账户的 currency 是那个金融交易的源头和实数测量单位是那个金融交易的 transaction 总额和那个测量单位是 UnitOfCurrency 的 instance 和实体是货币的 instance 和那个实体是那个金融交易的 patient 和那个金融交易的 date 是日，然后有存在另一个实数这样那个金融账户在那个日的 available cash 是那个另外实数那个测量单位和那个实数是 greaterThanOrEqualTo 那个另外实数
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 120-135	如果客体的价值是货币测量和过程是处理检查的 instance 和那个客体是那个过程的 patient 和那个过程在金融账户的 currency 结束和那个金融账户是金融账户的 instance 和那个过程出现的 time equal 那个过程Time，然后有存在金融交易和那个金融交易Time 这样那个金融交易是存款的 instance 和那个客体是导致那个金融交易的 instrument 和那个金融交易出现的 time equal 那个金融交易Time 和那个过程Time 接着那个金融交易Time 和那个货币测量是那个金融交易的 transaction 总额和那个金融交易在那个金融账户的 currency 结束
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 834-842	如果货币测量是金融交易的 transaction 总额和那个金融交易的 date 是日和金融账户是金融账户的 instance 和那个金融交易在那个金融账户的 currency 结束和那个金融账户对于时距到期的 amount 那个货币测量和那个日的结束%n在那个时距的开始before发生，然后那个金融交易是预付款的 instance

consequent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 655-667	如果金融账户对于时间位置到期的 amount 货币测量和有认知的主事持有 account 那个金融账户，然后那个有认知的主事有义务执行符号串所描述的类别的任务
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 807-816	如果货币测量是贷款的 down 费用和时点是那个贷款的 agreement 生效日期，然后有存在金融交易这样那个货币测量是那个金融交易的 transaction 总额和那个金融交易的 date 是那个时点和那个金融交易在那个贷款的 currency 结束
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 686-699	如果金融账户是金融账户的 instance 和那个金融账户是对于实数测量单位的 minimum 金额开户和那个测量单位是 UnitOfCurrency 的 instance，然后有存在金融交易，时点， and 和另一个实数这样那个金融交易在那个金融账户的 currency 结束和那个另外实数那个测量单位是那个金融交易的 transaction 总额和那个另外实数是 greaterThanOrEqualTo 那个实数和那个时点是那个金融账户的 agreement 生效日期和那个金融交易的 date 是那个时点
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 759-775	如果责任账户是责任账户的 instance 和那个责任账户是對於月持续时间的 minimum 費用实数测量单位和那个测量单位是 UnitOfCurrency 的 instance 和有存在过程和时距这样那个时距是月的 instance 和那个过程在那个责任账户的 currency 结束和那个责任账户 payments 对于那个时距每周期另一个实数那个测量单位和那个另外实数是 lessThan 那个实数，然后有存在另一个过程这样那个另外过程是罚款的 instance 和那个另外过程在那个责任账户的 currency 结束
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1043-1052	如果金融账户是储蓄账户的 instance 和有认知的主事持有 account 那个金融账户和那个金融账户是对于 %3 的赚取 interest ，然后有存在金融交易这样那个金融交易在那个金融账户的 currency 结束和利益是那个金融交易的 transaction 总额和那个金融交易在那个有认知的主事结束
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1115-1124	如果金融账户是传统储蓄账户的 instance 和过程是退出的 instance 和那个金融账户的 currency 是那个过程的源头，然后不存在另一个过程这样那个另外过程是罚款的 instance 和那个另外过程在那个金融账户的 currency 结束和那个过程 causes 那个另外过程
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1087-1099	如果金融账户是存款证的 instance 和日是那个金融账户的 maturity 日期和过程是退出的 instance 和那个金融账户的 currency 是那个过程的源头和那个过程的 date 是另一个日和那个另外日的结束%n在那个日的开始before发生，然后有存在另一个过程这样那个另外过程是罚款的 instance 和那个另外过程在那个金融账户的 currency 结束和那个过程 causes 那个另外过程
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 340-351	如果过程是存款支票的 instance 和校验是那个过程的 patient 和那个校验是校验的 instance 和金融账户是那个校验的 check 帐户和那个校验的价值是货币测量，然后有存在金融交易这样那个金融交易是存款的 instance 和那个金融交易在那个金融账户的 currency 结束和那个货币测量是那个金融交易的 transaction 总额
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1411-1421	如果贷款是气球贷款的 instance 和日是那个贷款的 maturity 日期和货币测量是那个贷款的 total 存款和那个贷款是有认知的主事的 borrower ，然后那个有认知的主事有义务执行符号串所描述的类别的任务
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 3885-3895	如果银行对帐单是银行对帐单的 instance 和金融账户是那个银行对帐单的 statement 帐号，然后有存在过程这样那个过程是金融交易的 instance 和那个金融账户的 currency 是那个过程的源头或那个过程在那个金融账户的 currency 结束和那个银行对帐单表示那个过程的内容
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 120-135	如果客体的价值是货币测量和过程是处理检查的 instance 和那个客体是那个过程的 patient 和那个过程在金融账户的 currency 结束和那个金融账户是金融账户的 instance 和那个过程出现的 time equal 那个过程Time，然后有存在金融交易和那个金融交易Time 这样那个金融交易是存款的 instance 和那个客体是导致那个金融交易的 instrument 和那个金融交易出现的 time equal 那个金融交易Time 和那个过程Time 接着那个金融交易Time 和那个货币测量是那个金融交易的 transaction 总额和那个金融交易在那个金融账户的 currency 结束
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 431-434	如果过程是存款的 instance，然后有存在金融账户这样那个过程在那个金融账户的 currency 结束
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1523-1532	如果金融账户是合并贷款的 instance，然后有存在那个金融账户1，那个金融账户2,，，过程， and 和另一个过程这样那个金融账户1 是贷款的 instance 和那个金融账户2 是贷款的 instance 和那个过程在那个金融账户1 的 currency 结束和那个另外过程在那个金融账户2 的 currency 结束和那个金融账户的 currency 是那个过程的源头和那个金融账户的 currency 是那个另外过程的源头
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 459-464	如果过程是退出的 instance，然后有存在金融账户这样那个金融账户是金融账户的 instance 和那个金融账户的 currency 是那个过程的源头
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 742-750	如果金融账户是对于持续时间的 periodic 费用货币测量，然后有存在金融交易和有点过程这样那个金融交易是付款的 instance 和那个金融账户的 currency 是那个金融交易的源头和那个货币测量是那个金融交易的 transaction 总额和那个金融交易是有点过程的 instance 和那个有点过程每那个持续时间发生一次

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