Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  PensionPlan

 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
-------------------------


(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
-------------------------


(subclass ProfitSharingPlan PensionPlan) FinancialOntology.kif 1224-1224 Profit sharing plan is a subclass of pension plan
(subclass IndividualRetirementAccount PensionPlan) FinancialOntology.kif 3443-3443 Individual retirement account is a subclass of pension plan
(subclass DefinedContributionPlan PensionPlan) FinancialOntology.kif 3465-3465 Defined contribution plan is a subclass of pension plan
(subclass SavingsPlan_408K PensionPlan) FinancialOntology.kif 3489-3489 408K savings plan Is a subclass of pension plan
(termFormat EnglishLanguage PensionPlan "pension plan") domainEnglishFormat.kif 45053-45053 408K savings plan Is a subclass of pension plan
(termFormat ChineseTraditionalLanguage PensionPlan "養老金計劃") domainEnglishFormat.kif 45054-45054 408K savings plan Is a subclass of pension plan
(termFormat ChineseLanguage PensionPlan "养老金计划") domainEnglishFormat.kif 45055-45055 408K savings plan Is a subclass of pension plan

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


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

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners