| 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 | 税收递延收入 的 1 数量 是 人类 的 instance |
| (domain taxDeferredIncome 2 CurrencyMeasure) | FinancialOntology.kif 3306-3306 | 税收递延收入 的 2 数量 是 货币测量 的 instance |
| (domain taxDeferredIncome 3 OrganizationalProcess) | FinancialOntology.kif 3307-3307 | 税收递延收入 的 3 数量 是 机构性过程 的 instance |
| (instance taxDeferredIncome TernaryRelation) | FinancialOntology.kif 3304-3304 | 税收递延收入 是 三元关系 的 instance |
| (subrelation taxDeferredIncome incomeEarned) | FinancialOntology.kif 3303-3303 | 税收递延收入 是 赚的收入 的 subrelation |
| 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 57055-57055 | |
| (termFormat ChineseTraditionalLanguage taxDeferredIncome "稅收遞延收入") | domainEnglishFormat.kif 57054-57054 | |
| (termFormat EnglishLanguage taxDeferredIncome "tax deferred income") | domainEnglishFormat.kif 57053-57053 |
| 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