| 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 | The number 1 argument of employee contribution is an instance of human |
| (domain employeeContribution 2 CurrencyMeasure) | FinancialOntology.kif 3352-3352 | The number 2 argument of employee contribution is an instance of currency measure |
| (domain employeeContribution 3 TimeInterval) | FinancialOntology.kif 3353-3353 | The number 3 argument of employee contribution is an instance of time interval |
| (instance employeeContribution TernaryPredicate) | FinancialOntology.kif 3350-3350 | 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 21982-21982 | |
| (termFormat ChineseTraditionalLanguage employeeContribution "員工貢獻") | domainEnglishFormat.kif 21981-21981 | |
| (termFormat EnglishLanguage employeeContribution "employee contribution") | domainEnglishFormat.kif 21980-21980 |
| 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