| (subclass PensionPlan FinancialAccount) | FinancialOntology.kif 1173-1173 | Pension plan is a subclass of financial account |
| (subclass ProfitSharingPlan PensionPlan) | FinancialOntology.kif 1187-1187 | Profit sharing plan is a subclass of pension plan |
| (subclass IndividualRetirementAccount PensionPlan) | FinancialOntology.kif 3386-3386 | Individual retirement account is a subclass of pension plan |
| (subclass DefinedContributionPlan PensionPlan) | FinancialOntology.kif 3408-3408 | Defined contribution plan is a subclass of pension plan |
| (subclass SavingsPlan_408K PensionPlan) | FinancialOntology.kif 3432-3432 | SavingsPlan_408K is a subclass of pension plan |
|
|