| DepositAccount(deposit account) | | bank_account, fund, giro_account, monetary_fund, pension_fund, slush_fund, superannuation_fund, war_chest |
| appearance as argument number 1 |
|
|
| (documentation DepositAccount EnglishLanguage "An account where money is deposited for checking, savings or brokerage use.") | FinancialOntology.kif 1025-1026 | |
| (subclass DepositAccount FinancialAccount) | FinancialOntology.kif 1024-1024 | Deposit account is a subclass of financial account |
| appearance as argument number 2 |
|
|
| (subclass CheckingAccount DepositAccount) | FinancialOntology.kif 1126-1126 | Checking account is a subclass of deposit account |
| (subclass InvestmentAccount DepositAccount) | FinancialOntology.kif 1144-1144 | Investment account is a subclass of deposit account |
| (termFormat ChineseLanguage DepositAccount "存款账户") | domainEnglishFormat.kif 19162-19162 | Investment account is a subclass of deposit account |
| (termFormat ChineseTraditionalLanguage DepositAccount "存款賬戶") | domainEnglishFormat.kif 19161-19161 | Investment account is a subclass of deposit account |
| (termFormat EnglishLanguage DepositAccount "deposit account") | domainEnglishFormat.kif 19160-19160 | 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)))) |
FinancialOntology.kif 203-211 |
|
|
|
|