(subclass UsingAnAccount FinancialTransaction) | FinancialOntology.kif 308-308 | UsingAnAccount は 金融取引 の subclass では %n |
(subclass DrawingACheck UsingAnAccount) | FinancialOntology.kif 318-318 | DrawingACheck は UsingAnAccount の subclass では %n |
(subclass DepositingACheck UsingAnAccount) | FinancialOntology.kif 329-329 | DepositingACheck は UsingAnAccount の subclass では %n |