No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 308-308 | Using an account is a subclass of financial transaction |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 318-318 | DrawingA check is a subclass of using an account |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 329-329 | DepositingA check is a subclass of using an account |