| PensionPlan(pension plan) | | pension_account, pension_plan, retirement_account, retirement_plan, retirement_program, retirement_savings_account, retirement_savings_plan |
| appearance as argument number 1 |
|
|
| (documentation PensionPlan EnglishLanguage "A qualified retirement plan set up by a corporation, labor union, government, or other organization for its employees. Examples include profit_sharing plans, stock bonus and employee stock ownership plans, thrift plans, target benefit plans, money purchase plans, and defined benefit plans.") | FinancialOntology.kif 1188-1192 | |
| (subclass PensionPlan FinancialAccount) | FinancialOntology.kif 1187-1187 | Pension plan is a subclass of financial account |
| appearance as argument number 2 |
|
|
| (subclass DefinedContributionPlan PensionPlan) | FinancialOntology.kif 3422-3422 | Defined contribution plan is a subclass of pension plan |
| (subclass IndividualRetirementAccount PensionPlan) | FinancialOntology.kif 3400-3400 | Individual retirement account is a subclass of pension plan |
| (subclass ProfitSharingPlan PensionPlan) | FinancialOntology.kif 1201-1201 | Profit sharing plan is a subclass of pension plan |
| (subclass SavingsPlan_408K PensionPlan) | FinancialOntology.kif 3446-3446 | SavingsPlan_408K is a subclass of pension plan |
| (termFormat ChineseLanguage PensionPlan "养老金计划") | domainEnglishFormat.kif 45091-45091 | SavingsPlan_408K is a subclass of pension plan |
| (termFormat ChineseTraditionalLanguage PensionPlan "養老金計劃") | domainEnglishFormat.kif 45090-45090 | SavingsPlan_408K is a subclass of pension plan |
| (termFormat EnglishLanguage PensionPlan "pension plan") | domainEnglishFormat.kif 45089-45089 | SavingsPlan_408K is a subclass of pension plan |
| antecedent |
|
|
| (=> (and (instance ?P PensionPlan) (accountHolder ?P ?A) (employs ?O ?A)) (financialAccount ?P ?O)) |
FinancialOntology.kif 1194-1199 |
|
| consequent |
|
|
| (=> (employeeContribution ?Agent ?Money ?Period) (exists (?Org ?Plan) (and (instance ?Plan PensionPlan) (employs ?Org ?Agent) (agent ?Plan ?Org) (destination ?Plan ?Agent)))) |
FinancialOntology.kif 3371-3378 |
|
|
|
|