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

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1104-1105
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10298-10298
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 12010-12010
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 12009-12009
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 12008-12008
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1103-1103	Traditional savings account is a subclass of savings account

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58785-58785
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58784-58784
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58783-58783

antecedent

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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