TraditionalSavingsAccount - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - TraditionalSavingsAccount

TraditionalSavingsAccount(traditional savings account)

appearance as argument number 1

(documentation TraditionalSavingsAccount EnglishLanguage "Accounts that pay interest, usually at below_market interest rates, that do not have a specific maturity, and that usually can be withdrawn upon demand")	FinancialOntology.kif 1104-1105
(externalImage TraditionalSavingsAccount "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 4b/ Soviet_Union_Savings_bank_book.jpg")	pictureList.kif 10298-10298
(externalImage TraditionalSavingsAccount "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 7c/ Sberbank.jpg")	pictureList.kif 12010-12010
(externalImage TraditionalSavingsAccount "http://upload.wikimedia.org/wikipedia/ commons/ d/ d1/ State_savings_bank_ararat.jpg")	pictureList.kif 12009-12009
(externalImage TraditionalSavingsAccount "http://upload.wikimedia.org/wikipedia/ commons/ f/ f1/ Troy_Savings_Bank.jpg")	pictureList.kif 12008-12008
(subclass TraditionalSavingsAccount SavingsAccount)	FinancialOntology.kif 1103-1103	Traditional savings account is a subclass of savings account

appearance as argument number 2

(termFormat ChineseLanguage TraditionalSavingsAccount "传统储蓄账户")	domainEnglishFormat.kif 58785-58785
(termFormat ChineseTraditionalLanguage TraditionalSavingsAccount "傳統儲蓄賬戶")	domainEnglishFormat.kif 58784-58784
(termFormat EnglishLanguage TraditionalSavingsAccount "traditional savings account")	domainEnglishFormat.kif 58783-58783

antecedent

(=> (and (instance ?Account TraditionalSavingsAccount) (instance ?Withdrawal Withdrawal) (origin ?Withdrawal (CurrencyFn ?Account))) (not (exists (?Penalty) (and (instance ?Penalty Penalty) (destination ?Penalty (CurrencyFn ?Account)) (causes ?Withdrawal ?Penalty)))))	FinancialOntology.kif 1117-1126	If a financial account is an instance of traditional savings account and a process is an instance of withdrawing from an account and the process originates at the currency of the financial account, then there doesn't exist another process such that the other process is an instance of penalizing and the other process ends up at the currency of the financial account and the process causes the other process
(=> (and (instance ?Account TraditionalSavingsAccount) (instance ?Withdrawal Withdrawal)) (exists (?A) (and (patient ?Withdrawal ?Account) (agent ?Withdrawal ?A) (not (exists (?Penalty) (and (instance ?Penalty Penalty) (patient ?Penalty ?A)))))))	FinancialOntology.kif 1128-1140	If an entity is an instance of traditional savings account and a process is an instance of withdrawing from an account, then there exists an agent such that the entity is a patient of the process and the agent is an agent of the process and there doesn't exist another process such that the other process is an instance of penalizing and the agent is a patient of the other process
(=> (instance ?Account TraditionalSavingsAccount) (liquidity ?Account HighLiquidity))	FinancialOntology.kif 1107-1109	If a financial account is an instance of traditional savings account, then the liqudity of the financial account is high liquidity
(=> (instance ?Account TraditionalSavingsAccount) (not (exists (?Date) (maturityDate ?Account ?Date))))	FinancialOntology.kif 1111-1115	If a financial account is an instance of traditional savings account, then there doesn't exist a day such that the day is a maturity date of the financial account

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