| (subclass PensionPlan FinancialAccount) | FinancialOntology.kif 1173-1173 | PensionPlan は FinancialAccount の subclass では %n |
| (subclass ProfitSharingPlan PensionPlan) | FinancialOntology.kif 1187-1187 | ProfitSharingPlan は PensionPlan の subclass では %n |
| (subclass IndividualRetirementAccount PensionPlan) | FinancialOntology.kif 3386-3386 | IndividualRetirementAccount は PensionPlan の subclass では %n |
| (subclass DefinedContributionPlan PensionPlan) | FinancialOntology.kif 3408-3408 | DefinedContributionPlan は PensionPlan の subclass では %n |
| (subclass SavingsPlan_408K PensionPlan) | FinancialOntology.kif 3432-3432 | SavingsPlan_408K は PensionPlan の subclass では %n |
|
|