| (subclass ControllingAnAccount FinancialTransaction) | FinancialOntology.kif 353-353 | ControllingAnAccount は 金融取引 の subclass では %n |
| (subclass ProcessingACheck ControllingAnAccount) | FinancialOntology.kif 363-363 | ProcessingACheck は ControllingAnAccount の subclass では %n |
| (subclass AuthorizationOfTransaction ControllingAnAccount) | FinancialOntology.kif 382-382 | AuthorizationOfTransaction は ControllingAnAccount の subclass では %n |
|
|