| 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 | |
| (domain taxDeferredIncome 2 CurrencyMeasure) | FinancialOntology.kif 3323-3323 | |
| (domain taxDeferredIncome 3 OrganizationalProcess) | FinancialOntology.kif 3324-3324 | |
| (instance taxDeferredIncome TernaryRelation) | FinancialOntology.kif 3321-3321 | |
| (subrelation taxDeferredIncome incomeEarned) | FinancialOntology.kif 3320-3320 |
| 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 57059-57059 | |
| (termFormat ChineseTraditionalLanguage taxDeferredIncome "稅收遞延收入") | domainEnglishFormat.kif 57058-57058 | |
| (termFormat EnglishLanguage taxDeferredIncome "tax deferred income") | domainEnglishFormat.kif 57057-57057 |
| 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