Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| PensionPlan(pension plan) |  | pension_account, pension_plan, retirement_account, retirement_plan, retirement_program, retirement_savings_account, retirement_savings_plan |
| appearance as argument number 1 |
|
|
| (subclass PensionPlan FinancialAccount) | FinancialOntology.kif 1210-1210 | Pension plan is a subclass of financial account |
| (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 1211-1215 | Pension plan is a subclass of financial account |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?P PensionPlan) (accountHolder ?P ?A) (employs ?O ?A)) (financialAccount ?P ?O)) |
FinancialOntology.kif 1217-1222 | If X is an instance of pension plan, Y holds account X, and Z employs Y, then X is a financial account of Z |
| consequent |
|
|
| (=> (employeeContribution ?Agent ?Money ?Period) (exists (?Org ?Plan) (and (instance ?Plan PensionPlan) (employs ?Org ?Agent) (agent ?Plan ?Org) (destination ?Plan ?Agent)))) |
FinancialOntology.kif 3414-3421 | If X employee contribution Y for Z, then there exist W, V such that V is an instance of pension plan, W employs X, W is an agent of V, and V ends up at X |
|