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 1174-1178
(subclass PensionPlan FinancialAccount) FinancialOntology.kif 1173-1173 PensionPlanFinancialAccountsubclass では %n

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


(subclass DefinedContributionPlan PensionPlan) FinancialOntology.kif 3408-3408 DefinedContributionPlanPensionPlansubclass では %n
(subclass IndividualRetirementAccount PensionPlan) FinancialOntology.kif 3386-3386 IndividualRetirementAccountPensionPlansubclass では %n
(subclass ProfitSharingPlan PensionPlan) FinancialOntology.kif 1187-1187 ProfitSharingPlanPensionPlansubclass では %n
(subclass SavingsPlan_408K PensionPlan) FinancialOntology.kif 3432-3432 SavingsPlan_408KPensionPlansubclass では %n
(termFormat ChineseLanguage PensionPlan "养老金计划") domainEnglishFormat.kif 45060-45060
(termFormat ChineseTraditionalLanguage PensionPlan "養老金計劃") domainEnglishFormat.kif 45059-45059
(termFormat EnglishLanguage PensionPlan "pension plan") domainEnglishFormat.kif 45058-45058

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


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

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


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


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 3.0 is open source software produced by Articulate Software and its partners