(subclass UsingAnAccount FinancialTransaction) | FinancialOntology.kif 308-308 | Using an account is a subclass of financial transaction |
(subclass DrawingACheck UsingAnAccount) | FinancialOntology.kif 318-318 | DrawingA check is a subclass of using an account |
(subclass DepositingACheck UsingAnAccount) | FinancialOntology.kif 329-329 | DepositingA check is a subclass of using an account |