SavingsAccount - Sigma Knowledge base Browser

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

(documentation SavingsAccount EnglishLanguage "An account in a bank on which interest is usually paid and from which withdrawals can be made usually only by presentation of a passbook or by written authorization on a prescribed form.")	FinancialOntology.kif 974-976
(externalImage SavingsAccount "http://upload.wikimedia.org/wikipedia/commons/ 0/ 03/ Poughkeepsie_Savings_Bank_building.jpg")	pictureList.kif 11829-11829	"http://upload.wikimedia.org/wikipedia/commons/0/03/ Poughkeepsie_Savings_Bank_building.jpg" is a URL depicting savings account
(externalImage SavingsAccount "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4b/ Soviet_Union-Savings-bank_book.jpg")	pictureList.kif 10267-10267	"http://upload.wikimedia.org/wikipedia/commons/4/4b/ Soviet_Union-Savings-bank_book.jpg" is a URL depicting savings account
(externalImage SavingsAccount "http://upload.wikimedia.org/wikipedia/commons/ 7/ 7c/ Sberbank.jpg")	pictureList.kif 11831-11831	"http://upload.wikimedia.org/wikipedia/commons/7/7c/ Sberbank.jpg" is a URL depicting savings account
(externalImage SavingsAccount "http://upload.wikimedia.org/wikipedia/commons/ 8/ 8e/ Oregon_IL_Oregon_State_Savings_Bank2.jpg")	pictureList.kif 11828-11828	"http://upload.wikimedia.org/wikipedia/commons/8/8e/ Oregon_IL_Oregon_State_Savings_Bank2.jpg" is a URL depicting savings account
(externalImage SavingsAccount "http://upload.wikimedia.org/wikipedia/commons/ d/ d1/ State_savings_bank_ararat.jpg")	pictureList.kif 11830-11830	"http://upload.wikimedia.org/wikipedia/commons/d/d1/ State_savings_bank_ararat.jpg" is a URL depicting savings account
(externalImage SavingsAccount "http://upload.wikimedia.org/wikipedia/commons/ f/ f1/ Troy_Savings_Bank.jpg")	pictureList.kif 11827-11827	"http://upload.wikimedia.org/wikipedia/commons/f/f1/ Troy_Savings_Bank.jpg" is a URL depicting savings account
(subclass SavingsAccount InterestBearingAccount)	FinancialOntology.kif 973-973	Savings account is a subclass of interest bearing account

appearance as argument number 2

(subclass CertificateOfDeposit SavingsAccount)	FinancialOntology.kif 1020-1020	Certificate of deposit is a subclass of savings account
(subclass IndividualRetirementAccount SavingsAccount)	FinancialOntology.kif 3272-3272	Individual retirement account is a subclass of savings account
(subclass MoneyMarket SavingsAccount)	FinancialOntology.kif 999-999	Money market is a subclass of savings account
(subclass TraditionalSavingsAccount SavingsAccount)	FinancialOntology.kif 1046-1046	Traditional savings account is a subclass of savings account
(subclass TreasuryBill SavingsAccount)	FinancialOntology.kif 1012-1012	Treasury bill is a subclass of savings account
(termFormat EnglishLanguage SavingsAccount "savings account")	domainEnglishFormat.kif 8983-8983	"savings account" is the printable form of savings account in english language

antecedent

(=> (and (instance ?Account SavingsAccount) (accountHolder ?Account ?Agent) (interestEarned ?Account ?Interest ?Period)) (exists (?Payment) (and (destination ?Payment (CurrencyFn ?Account)) (transactionAmount ?Payment ?Interest) (destination ?Payment ?Agent))))	FinancialOntology.kif 988-997	If a financial account is an instance of savings account and a cognitive agent holds account the financial account and the financial account 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
(=> (and (instance ?Account SavingsAccount) (instance ?Transaction FinancialTransaction) (origin ?Transaction (CurrencyFn ?Account))) (exists (?Authorization) (and (instance ?Authorization AuthorizationOfTransaction) (subProcess ?Authorization ?Transaction))))	FinancialOntology.kif 978-986	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 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners