No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1024-1024 | Deposit account is a subclass of financial account |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1126-1126 | Checking account is a subclass of deposit account |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1144-1144 | Investment account is a subclass of deposit account |