| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1173-1173 | Pension plan is a subclass of financial account |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1187-1187 | Profit sharing plan is a subclass of pension plan |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3386-3386 | Individual retirement account is a subclass of pension plan |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3408-3408 | Defined contribution plan is a subclass of pension plan |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3432-3432 | SavingsPlan_408K is a subclass of pension plan |
|
|