(subclass ControllingAnAccount FinancialTransaction) | FinancialOntology.kif 353-353 | Controlling an account is a subclass of financial transaction |
(subclass ProcessingACheck ControllingAnAccount) | FinancialOntology.kif 363-363 | ProcessingA check is a subclass of controlling an account |
(subclass AuthorizationOfTransaction ControllingAnAccount) | FinancialOntology.kif 382-382 | Authorization of transaction is a subclass of controlling an account |