TreeView Knowledge Base Browser - SavingsAccount

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - SavingsAccount

SavingsAccount(savings account)

more pictures...

deposit_account, nest_egg, passbook_savings_account, savings, savings_account, time_deposit_account

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1029-1031
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11802-11802
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10246-10246
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11804-11804
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11801-11801
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11803-11803
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11800-11800
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1028-1028	Savings account is a subclass of interest bearing account

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1075-1075	Certificate of deposit is a subclass of savings account
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3384-3384	Individual retirement account is a subclass of savings account
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1054-1054	Money market is a subclass of savings account
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1101-1101	Traditional savings account is a subclass of savings account
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1067-1067	Treasury bill is a subclass of savings account
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51357-51357
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51356-51356
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51355-51355

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1043-1052	If a financial account is an instance of savings account and a cognitive agent holds account the financial account and the financial account is interest earned an interest for a time interval, then there exists a financial transaction such that the financial transaction ends up at the currency of the financial account and the interest is a transaction amount of the financial transaction and the financial transaction ends up at the cognitive agent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1033-1041	If a financial account is an instance of savings account and a process is an instance of financial transaction and the process originates at the currency of the financial account, then there exists another process such that the other process is an instance of authorization of transaction and the other process is a subprocess of the process

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