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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - employeeContribution
employeeContribution

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


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners