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

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


(subclass DefinedContributionPlan PensionPlan) FinancialOntology.kif 3303-3303 Defined contribution plan is a subclass of pension plan
(subclass IndividualRetirementAccount PensionPlan) FinancialOntology.kif 3281-3281 Individual retirement account is a subclass of pension plan
(subclass ProfitSharingPlan PensionPlan) FinancialOntology.kif 1131-1131 Profit sharing plan is a subclass of pension plan
(subclass SavingsPlan-408K PensionPlan) FinancialOntology.kif 3327-3327 Savings plan-408 k is a subclass of pension plan
(termFormat ChineseLanguage PensionPlan "养老金计划") domainEnglishFormat.kif 44959-44959
(termFormat ChineseTraditionalLanguage PensionPlan "養老金計劃") domainEnglishFormat.kif 44958-44958
(termFormat EnglishLanguage PensionPlan "pension plan") domainEnglishFormat.kif 44957-44957

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


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

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


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


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