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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - PensionPlan
PensionPlanpension_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

appearance as argument number 2

(subclass DefinedContributionPlan PensionPlan) FinancialOntology.kif 3296-3296
(subclass IndividualRetirementAccount PensionPlan) FinancialOntology.kif 3274-3274
(subclass ProfitSharingPlan PensionPlan) FinancialOntology.kif 1132-1132
(subclass SavingsPlan-408K PensionPlan) FinancialOntology.kif 3320-3320
(termFormat EnglishLanguage PensionPlan "pension plan") domainEnglishFormat.kif 7931-7931


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


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

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners