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

Formal Language: 



KB Term:  Term intersection
English Word: 

  employeeContribution

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
(domain employeeContribution 2 CurrencyMeasure) FinancialOntology.kif 3240-3240
(domain employeeContribution 3 TimeInterval) FinancialOntology.kif 3241-3241
(instance employeeContribution TernaryPredicate) FinancialOntology.kif 3238-3238

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


(format EnglishLanguage employeeContribution "%1 %n{doesn't} employee contribution %2 for %3") domainEnglishFormat.kif 235-235
(termFormat EnglishLanguage employeeContribution "employee contribution") domainEnglishFormat.kif 4083-4083

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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