TreeView Knowledge Base Browser

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))))

If All of the following hold: (1) X is an instance of profit sharing plan (2) Y holds account X (3) Z employs Y (4) the profit from W is V U(s) (5) U is an instance of unit of currency (6) Z is an agent of W, then there exist T and S such that S is an instance of financial transaction and T U(s) is a transaction amount of S and T is less than V and S ends up at X

(subclass ProfitSharingPlan PensionPlan)	FinancialOntology.kif 1224-1224	Profit sharing plan is a subclass of pension plan
(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 1225-1227	Profit sharing plan is a subclass of pension plan

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