TreeView Knowledge Base Browser - AccountFn

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - AccountFn

AccountFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2335-2336
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2333-2333	The number 1 argument of account is an instance of financial asset
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2332-2332	Account is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2334-2334	The range of account is an instance of financial account

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36-36
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35-35
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34-34
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5253-5253
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5252-5252
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5251-5251

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2338-2343	A financial account is an instance of financial account and a cognitive agent possesses a financial asset and equal the financial account and the account of the financial asset if and only if the cognitive agent holds account the financial account
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2506-2511	If a bond is an instance of callable bond and the account of the bond current account balance a day for a currency measure and the day is a call date of the bond, then the account of the bond amount due the currency measure for the day
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2350-2372	If a financial asset is an instance of zero coupon bond and a day is a maturity date of the account of the financial asset and the financial assetHolder possesses the financial asset and a real number an unit of measure(s) is a principal amount of the account of the financial asset and a time interval is an agreement period of the account of the financial asset and the account of the financial asset is interest earned another real number the unit of measure(s) for the time interval and equal a third real number and (the real number and the other real number), then there exists a financial transaction such that the financial transaction is an instance of payment and the financial transaction ends up at the financial assetHolder and the financial transaction originates at the account of the financial asset and the third real number the unit of measure(s) is a transaction amount of the financial transaction

consequent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2287-2295	If a bond is an instance of bond and an interest is a coupon interest of the bond and the bondHolder possesses the bond, then there exist a time duration and a process such that the account of the bond is periodic payment the interest for the time duration and the process ends up at the bondHolder
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2506-2511	If a bond is an instance of callable bond and the account of the bond current account balance a day for a currency measure and the day is a call date of the bond, then the account of the bond amount due the currency measure for the day
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2350-2372	If a financial asset is an instance of zero coupon bond and a day is a maturity date of the account of the financial asset and the financial assetHolder possesses the financial asset and a real number an unit of measure(s) is a principal amount of the account of the financial asset and a time interval is an agreement period of the account of the financial asset and the account of the financial asset is interest earned another real number the unit of measure(s) for the time interval and equal a third real number and (the real number and the other real number), then there exists a financial transaction such that the financial transaction is an instance of payment and the financial transaction ends up at the financial assetHolder and the financial transaction originates at the account of the financial asset and the third real number the unit of measure(s) is a transaction amount of the financial transaction

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

Show without tree

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