| 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 3308-3310 | |
| (domain taxDeferredIncome 1 Human) | FinancialOntology.kif 3305-3305 | The number 1 argument of tax deferred income is an instance of human |
| (domain taxDeferredIncome 2 CurrencyMeasure) | FinancialOntology.kif 3306-3306 | The number 2 argument of tax deferred income is an instance of currency measure |
| (domain taxDeferredIncome 3 OrganizationalProcess) | FinancialOntology.kif 3307-3307 | The number 3 argument of tax deferred income is an instance of organizational process |
| (instance taxDeferredIncome TernaryRelation) | FinancialOntology.kif 3304-3304 | tax deferred income is an instance of ternary relation |
| (subrelation taxDeferredIncome incomeEarned) | FinancialOntology.kif 3303-3303 | 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 4734-4734 | |
| (format ChineseTraditionalLanguage taxDeferredIncome "從 %3 造成的 tax deferred income 對於 %1 是 %2 ") | domainEnglishFormat.kif 4733-4733 | |
| (format EnglishLanguage taxDeferredIncome "tax deferred income for %1 resulting from %3 is %2") | domainEnglishFormat.kif 4732-4732 | |
| (termFormat ChineseLanguage taxDeferredIncome "税收递延收入") | domainEnglishFormat.kif 57095-57095 | |
| (termFormat ChineseTraditionalLanguage taxDeferredIncome "稅收遞延收入") | domainEnglishFormat.kif 57094-57094 | |
| (termFormat EnglishLanguage taxDeferredIncome "tax deferred income") | domainEnglishFormat.kif 57093-57093 |
| antecedent |
|
|
| (=> (and (taxDeferredIncome ?Agent ?Income ?Activity) (time ?Activity ?Time)) (not (exists (?Tax) (and (instance ?Tax Tax) (causes ?Activity ?Tax) (time ?Tax ?Time))))) |
FinancialOntology.kif 3312-3321 |
|
|
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