(subclass DepositAccount FinancialAccount) | FinancialOntology.kif 1024-1024 | Deposit account is a subclass of financial account |
(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 |