TreeView Knowledge Base Browser

appearance as argument number 1

(subrelation taxDeferredIncome incomeEarned)	FinancialOntology.kif 3360-3360	tax deferred income is a subrelation of income earned
(instance taxDeferredIncome TernaryRelation)	FinancialOntology.kif 3361-3361	tax deferred income is an instance of ternary relation
(domain taxDeferredIncome 1 Human)	FinancialOntology.kif 3362-3362	The number 1 argument of tax deferred income is an instance of human
(domain taxDeferredIncome 2 CurrencyMeasure)	FinancialOntology.kif 3363-3363	The number 2 argument of tax deferred income is an instance of currency measure
(domain taxDeferredIncome 3 OrganizationalProcess)	FinancialOntology.kif 3364-3364	The number 3 argument of tax deferred income is an instance of organizational process
(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 3365-3367	The number 3 argument of tax deferred income is an instance of organizational process

appearance as argument number 2

(format EnglishLanguage taxDeferredIncome "tax deferred income for %1 resulting from %3 is %2")	domainEnglishFormat.kif 4736-4736
(format ChineseTraditionalLanguage taxDeferredIncome "從 %3 造成的 tax deferred income 對於 %1 是 %2 ")	domainEnglishFormat.kif 4737-4737
(format ChineseLanguage taxDeferredIncome "从 %3 造成的 tax deferred income 对于 %1 是 %2 ")	domainEnglishFormat.kif 4738-4738
(termFormat EnglishLanguage taxDeferredIncome "tax deferred income")	domainEnglishFormat.kif 57050-57050
(termFormat ChineseTraditionalLanguage taxDeferredIncome "稅收遞延收入")	domainEnglishFormat.kif 57051-57051
(termFormat ChineseLanguage taxDeferredIncome "税收递延收入")	domainEnglishFormat.kif 57052-57052

antecedent

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

FinancialOntology.kif 3369-3378

If tax deferred income for X resulting from Y is Z and Y exists during W, then there doesn't exist V such that V is an instance of tax, Y causes V, and V exists during W

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

KB Term:			Term intersection

English Word: