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 3199-3201
(domain taxDeferredIncome 1 Human)	FinancialOntology.kif 3196-3196
(domain taxDeferredIncome 2 CurrencyMeasure)	FinancialOntology.kif 3197-3197
(domain taxDeferredIncome 3 OrganizationalProcess)	FinancialOntology.kif 3198-3198
(instance taxDeferredIncome TernaryRelation)	FinancialOntology.kif 3195-3195
(subrelation taxDeferredIncome incomeEarned)	FinancialOntology.kif 3194-3194

appearance as argument number 2

(format EnglishLanguage taxDeferredIncome "tax deferred income for %1 resulting from %3 is %2")	domainEnglishFormat.kif 1194-1194
(termFormat EnglishLanguage taxDeferredIncome "tax deferred income")	domainEnglishFormat.kif 9934-9934

antecedent

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

FinancialOntology.kif 3203-3212

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

KB Term:			Term intersection

English Word: