TreeView Knowledge Base Browser

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 3321-3323
(domain taxDeferredIncome 1 Human)	FinancialOntology.kif 3318-3318
(domain taxDeferredIncome 2 CurrencyMeasure)	FinancialOntology.kif 3319-3319
(domain taxDeferredIncome 3 OrganizationalProcess)	FinancialOntology.kif 3320-3320
(instance taxDeferredIncome TernaryRelation)	FinancialOntology.kif 3317-3317
(subrelation taxDeferredIncome incomeEarned)	FinancialOntology.kif 3316-3316

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 57067-57067
(termFormat ChineseTraditionalLanguage taxDeferredIncome "稅收遞延收入")	domainEnglishFormat.kif 57066-57066
(termFormat EnglishLanguage taxDeferredIncome "tax deferred income")	domainEnglishFormat.kif 57065-57065

antecedent

(=>
    (and
        (taxDeferredIncome ?Agent ?Income ?Activity)
        (time ?Activity ?Time))
    (not
        (exists (?Tax)
            (and
                (instance ?Tax Tax)
                (causes ?Activity ?Tax)
                (time ?Tax ?Time)))))

FinancialOntology.kif 3325-3334

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: