| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 968-968 | Interest bearing account is a subclass of financial account |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 976-976 | Fixed rate account is a subclass of interest bearing account |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 986-986 | Adjustable rate account is a subclass of interest bearing account |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1028-1028 | Savings account is a subclass of interest bearing account |
|
|