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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ProfitSharingPlan
ProfitSharingPlan(利润分享计划)

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 1187-1189
(subclass ProfitSharingPlan PensionPlan) FinancialOntology.kif 1186-1186 利润分享计划养老金计划subclass

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


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

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 1191-1206


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