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


(documentation employeeContribution EnglishLanguage "An individual's contribution to his/ her own retirement plan, often tax-deferred.") FinancialOntology.kif 3242-3243
(domain employeeContribution 1 Human) FinancialOntology.kif 3239-3239 The number 1 argument of employee contribution is an instance of human
(domain employeeContribution 2 CurrencyMeasure) FinancialOntology.kif 3240-3240 The number 2 argument of employee contribution is an instance of currency measure
(domain employeeContribution 3 TimeInterval) FinancialOntology.kif 3241-3241 The number 3 argument of employee contribution is an instance of time interval
(instance employeeContribution TernaryPredicate) FinancialOntology.kif 3238-3238 employee contribution is an instance of ternary predicate

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


(format ChineseLanguage employeeContribution "%1 %n{不} 对于 %3 employee 贡献 %2 ") domainEnglishFormat.kif 907-907
(format ChineseTraditionalLanguage employeeContribution "%1 %n{不} 對於 %3 employee 貢獻 %2 ") domainEnglishFormat.kif 906-906
(format EnglishLanguage employeeContribution "%1 %n{doesn't} employee contribution %2 for %3") domainEnglishFormat.kif 905-905
(termFormat ChineseLanguage employeeContribution "员工贡献") domainEnglishFormat.kif 21901-21901 "员工贡献" is the printable form of employee contribution in ChineseLanguage
(termFormat ChineseTraditionalLanguage employeeContribution "員工貢獻") domainEnglishFormat.kif 21900-21900 "員工貢獻" is the printable form of employee contribution in ChineseTraditionalLanguage
(termFormat EnglishLanguage employeeContribution "employee contribution") domainEnglishFormat.kif 21899-21899 "employee contribution" is the printable form of employee contribution in english language

antecedent
-------------------------


(=>
    (employeeContribution ?Agent ?Money ?Period)
    (exists (?Org ?Plan)
        (and
            (instance ?Plan PensionPlan)
            (employs ?Org ?Agent)
            (agent ?Plan ?Org)
            (destination ?Plan ?Agent))))
FinancialOntology.kif 3245-3252


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