Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PensionPlan
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 1119-1123
(subclass PensionPlan FinancialAccount) FinancialOntology.kif 1118-1118 Pension plan is a subclass of financial account

appearance as argument number 2
-------------------------


(subclass DefinedContributionPlan PensionPlan) FinancialOntology.kif 3296-3296 Defined contribution plan is a subclass of pension plan
(subclass IndividualRetirementAccount PensionPlan) FinancialOntology.kif 3274-3274 Individual retirement account is a subclass of pension plan
(subclass ProfitSharingPlan PensionPlan) FinancialOntology.kif 1132-1132 Profit sharing plan is a subclass of pension plan
(subclass SavingsPlan-408K PensionPlan) FinancialOntology.kif 3320-3320 Savings plan-408 k is a subclass of pension plan
(termFormat EnglishLanguage PensionPlan "pension plan") domainEnglishFormat.kif 7931-7931 "pension plan" is the printable form of pension plan in english language

antecedent
-------------------------


(=>
    (and
        (instance ?P PensionPlan)
        (accountHolder ?P ?A)
        (employs ?O ?A))
    (financialAccount ?P ?O))
FinancialOntology.kif 1125-1130

consequent
-------------------------


(=>
    (employeeContribution ?Agent ?Money ?Period)
    (exists (?Org ?Plan)
        (and
            (instance ?Plan PensionPlan)
            (employs ?Org ?Agent)
            (agent ?Plan ?Org)
            (destination ?Plan ?Agent))))
FinancialOntology.kif 3245-3252


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners