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 2248-2249
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2246-2246	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 2245-2245	Account is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2247-2247	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 2251-2256	A financial account is an instance of financial account and a cognitive agent possesses a financial asset and the financial account is equal to 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 2411-2416	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 2263-2277	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 number 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 an interest for the time interval and another number is equal to (the number and the interest), 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 other number is a transaction amount of the financial transaction

consequent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2200-2208	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 2411-2416	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 2263-2277	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 number 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 an interest for the time interval and another number is equal to (the number and the interest), 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 other number 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