(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 |