employeeContribution - Sigma Knowledge base Browser

appearance as argument number 1

s__documentation(s__employeeContribution__m,s__EnglishLanguage,'"An individuals contribution to his/ her own retirement plan, often tax-deferred."')	FinancialOntology.kif 3249-3250
s__domain(s__employeeContribution__m,n__1,s__Human)	FinancialOntology.kif 3246-3246	The number 1 argument of employee contribution is an instance of human
s__domain(s__employeeContribution__m,n__2,s__CurrencyMeasure)	FinancialOntology.kif 3247-3247	The number 2 argument of employee contribution is an instance of currency measure
s__domain(s__employeeContribution__m,n__3,s__TimeInterval)	FinancialOntology.kif 3248-3248	The number 3 argument of employee contribution is an instance of time interval
s__instance(s__TernaryPredicate,s__SetOrClass) s__instance(s__employeeContribution__m,s__TernaryPredicate)	FinancialOntology.kif 3245-3245	employee contribution is an instance of ternary predicate

appearance as argument number 2

s__format(s__ChineseLanguage,s__employeeContribution__m,'"%1 %n{不} 对于 %3 employee 贡献 %2 "')	domainEnglishFormat.kif 907-907
s__format(s__ChineseTraditionalLanguage,s__employeeContribution__m,'"%1 %n{不} 對於 %3 employee 貢獻 %2 "')	domainEnglishFormat.kif 906-906
s__format(s__EnglishLanguage,s__employeeContribution__m,'"%1 %n{doesnt} employee contribution %2 for %3"')	domainEnglishFormat.kif 905-905
s__termFormat(s__ChineseLanguage,s__employeeContribution__m,'"员工贡献"')	domainEnglishFormat.kif 21895-21895
s__termFormat(s__ChineseTraditionalLanguage,s__employeeContribution__m,'"員工貢獻"')	domainEnglishFormat.kif 21894-21894
s__termFormat(s__EnglishLanguage,s__employeeContribution__m,'"employee contribution"')	domainEnglishFormat.kif 21893-21893

antecedent

( ! [V__Period,V__Agent,V__Money] :
   ((s__instance(V__Period,s__TimeInterval) &
       s__instance(V__Agent,s__Human) &
       s__instance(V__Money,s__CurrencyMeasure))
     =>
     s__employeeContribution(V__Agent,V__Money,V__Period)
   =>
   ( ? [V__Org, V__Plan] :
     ((s__instance(V__Org,s__Agent) &
         (s__instance(V__Plan,s__PensionPlan) &
           s__employs(V__Org,V__Agent)
         &
         s__agent(V__Plan,V__Org)
       &
       s__destination(V__Plan,V__Agent)))))
)
)

FinancialOntology.kif 3252-3259