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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PensionPlan
PensionPlan

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

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


(subclass DefinedContributionPlan PensionPlan) FinancialOntology.kif 3302-3302
(subclass IndividualRetirementAccount PensionPlan) FinancialOntology.kif 3280-3280
(subclass ProfitSharingPlan PensionPlan) FinancialOntology.kif 1131-1131
(subclass SavingsPlan-408K PensionPlan) FinancialOntology.kif 3326-3326
(termFormat ChineseLanguage PensionPlan "养老金计划") domainEnglishFormat.kif 44989-44989
(termFormat ChineseTraditionalLanguage PensionPlan "養老金計劃") domainEnglishFormat.kif 44988-44988
(termFormat EnglishLanguage PensionPlan "pension plan") domainEnglishFormat.kif 44987-44987

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


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