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 3308-3310
(domain taxDeferredIncome 1 Human)	FinancialOntology.kif 3305-3305
(domain taxDeferredIncome 2 CurrencyMeasure)	FinancialOntology.kif 3306-3306
(domain taxDeferredIncome 3 OrganizationalProcess)	FinancialOntology.kif 3307-3307
(instance taxDeferredIncome TernaryRelation)	FinancialOntology.kif 3304-3304
(subrelation taxDeferredIncome incomeEarned)	FinancialOntology.kif 3303-3303

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

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 simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: