DepositAccount - Sigma Knowledge base Browser

appearance as argument number 1

(subclass DepositAccount FinancialAccount)	FinancialOntology.kif 1049-1049	Deposit account is a subclass of financial account
(documentation DepositAccount EnglishLanguage "An account where money is deposited for checking, savings or brokerage use.")	FinancialOntology.kif 1050-1051	Deposit account is a subclass of financial account

appearance as argument number 2

(subclass CheckingAccount DepositAccount)	FinancialOntology.kif 1165-1165	Checking account is a subclass of deposit account
(subclass InvestmentAccount DepositAccount)	FinancialOntology.kif 1183-1183	Investment account is a subclass of deposit account
(termFormat EnglishLanguage DepositAccount "deposit account")	domainEnglishFormat.kif 19146-19146	Investment account is a subclass of deposit account
(termFormat ChineseTraditionalLanguage DepositAccount "存款賬戶")	domainEnglishFormat.kif 19147-19147	Investment account is a subclass of deposit account
(termFormat ChineseLanguage DepositAccount "存款账户")	domainEnglishFormat.kif 19148-19148	Investment account is a subclass of deposit account

consequent

(=>
    (and
        (instance ?Card DebitCard)
        (possesses ?Agent ?Card))
    (exists (?Account)
        (and
            (instance ?Account DepositAccount)
            (cardAccount ?Card ?Account)
            (accountHolder ?Account ?Agent))))

If X is an instance of debit card and Y possesses X, then there exists Z such that Z is an instance of deposit account, Z is a card account of X, and Y holds account Z