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 3354-3355
(domain employeeContribution 1 Human) FinancialOntology.kif 3351-3351 Le nombre 1 argument de employeeContribution est une instance de humain
(domain employeeContribution 2 CurrencyMeasure) FinancialOntology.kif 3352-3352 Le nombre 2 argument de employeeContribution est une instance de mesure de devise
(domain employeeContribution 3 TimeInterval) FinancialOntology.kif 3353-3353 Le nombre 3 argument de employeeContribution est une instance de interval temporel
(instance employeeContribution TernaryPredicate) FinancialOntology.kif 3350-3350 employeeContribution est une instance de pr�dicat ternaire

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 21966-21966
(termFormat ChineseTraditionalLanguage employeeContribution "員工貢獻") domainEnglishFormat.kif 21965-21965
(termFormat EnglishLanguage employeeContribution "employee contribution") domainEnglishFormat.kif 21964-21964

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


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


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