(subclass UsingAnAccount FinancialTransaction) | FinancialOntology.kif 308-308 | UsingAnAccount est une sous-classe de financial transaction |
(subclass DrawingACheck UsingAnAccount) | FinancialOntology.kif 318-318 | DrawingACheck est une sous-classe de UsingAnAccount |
(subclass DepositingACheck UsingAnAccount) | FinancialOntology.kif 329-329 | DepositingACheck est une sous-classe de UsingAnAccount |