| appearance as argument number 1 |
|
| (documentation taxDeferredIncome EnglishLanguage "Income whose taxes can be postponed until a later date. Examples include IRA, 401(k), Keogh Plan, annuity, Savings Bond and Employee Stock Ownership Plan.") | FinancialOntology.kif 3325-3327 | |
| (domain taxDeferredIncome 1 Human) | FinancialOntology.kif 3322-3322 | The number 1 argument of tax deferred income is an instance of human |
| (domain taxDeferredIncome 2 CurrencyMeasure) | FinancialOntology.kif 3323-3323 | The number 2 argument of tax deferred income is an instance of currency measure |
| (domain taxDeferredIncome 3 OrganizationalProcess) | FinancialOntology.kif 3324-3324 | The number 3 argument of tax deferred income is an instance of organizational process |
| (instance taxDeferredIncome TernaryRelation) | FinancialOntology.kif 3321-3321 | tax deferred income is an instance of ternary relation |
| (subrelation taxDeferredIncome incomeEarned) | FinancialOntology.kif 3320-3320 | tax deferred income is a subrelation of income earned |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage taxDeferredIncome "从 %3 造成的 tax deferred income 对于 %1 是 %2 ") | domainEnglishFormat.kif 4738-4738 | |
| (format ChineseTraditionalLanguage taxDeferredIncome "從 %3 造成的 tax deferred income 對於 %1 是 %2 ") | domainEnglishFormat.kif 4737-4737 | |
| (format EnglishLanguage taxDeferredIncome "tax deferred income for %1 resulting from %3 is %2") | domainEnglishFormat.kif 4736-4736 | |
| (termFormat ChineseLanguage taxDeferredIncome "税收递延收入") | domainEnglishFormat.kif 57088-57088 | |
| (termFormat ChineseTraditionalLanguage taxDeferredIncome "稅收遞延收入") | domainEnglishFormat.kif 57087-57087 | |
| (termFormat EnglishLanguage taxDeferredIncome "tax deferred income") | domainEnglishFormat.kif 57086-57086 |
| antecedent |
|
|
| (=> (and (taxDeferredIncome ?Agent ?Income ?Activity) (time ?Activity ?Time)) (not (exists (?Tax) (and (instance ?Tax Tax) (causes ?Activity ?Tax) (time ?Tax ?Time))))) |
FinancialOntology.kif 3329-3338 |
|
|
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