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 | 子類 養老金計劃 and 金融賬戶 |
appearance as argument number 2 |
(subclass DefinedContributionPlan PensionPlan) | FinancialOntology.kif 3408-3408 | 子類 定額供款計劃 and 養老金計劃 |
(subclass IndividualRetirementAccount PensionPlan) | FinancialOntology.kif 3386-3386 | 子類 個人退休賬戶 and 養老金計劃 |
(subclass ProfitSharingPlan PensionPlan) | FinancialOntology.kif 1187-1187 | 子類 利潤分享計劃 and 養老金計劃 |
(subclass SavingsPlan_408K PensionPlan) | FinancialOntology.kif 3432-3432 | 子類 SavingsPlan_408K and 養老金計劃 |
(termFormat ChineseLanguage PensionPlan "养老金计划") | domainEnglishFormat.kif 45062-45062 | |
(termFormat ChineseTraditionalLanguage PensionPlan "養老金計劃") | domainEnglishFormat.kif 45061-45061 | |
(termFormat EnglishLanguage PensionPlan "pension plan") | domainEnglishFormat.kif 45060-45060 |
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 |
|