ProfitSharingPlan - Sigma Knowledge base Browser

appearance as argument number 1

(documentation ProfitSharingPlan EnglishLanguage "An arrangement in which an employer shares its profits with its employees. The compensation can be stocks, bonds or cash, and can be immediate or deferred until retirement.")	FinancialOntology.kif 1204-1206
(subclass ProfitSharingPlan PensionPlan)	FinancialOntology.kif 1203-1203	Profit sharing plan is a subclass of pension plan

appearance as argument number 2

(termFormat ChineseLanguage ProfitSharingPlan "利润分享计划")	domainEnglishFormat.kif 47661-47661
(termFormat ChineseTraditionalLanguage ProfitSharingPlan "利潤分享計劃")	domainEnglishFormat.kif 47660-47660
(termFormat EnglishLanguage ProfitSharingPlan "profit sharing plan")	domainEnglishFormat.kif 47659-47659

antecedent

(=>
    (and
        (instance ?PSP ProfitSharingPlan)
        (accountHolder ?PSP ?H)
        (employs ?O ?H)
        (profit ?A
            (MeasureFn ?P ?U))
        (instance ?U UnitOfCurrency)
        (agent ?A ?O))
    (exists (?C ?PAY)
        (and
            (instance ?PAY FinancialTransaction)
            (transactionAmount ?PAY
                (MeasureFn ?C ?U))
            (lessThan ?C ?P)
            (destination ?PAY ?PSP))))

FinancialOntology.kif 1208-1223