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 3325-3327
(domain taxDeferredIncome 1 Human)	FinancialOntology.kif 3322-3322	The number 1 argument of tax deferred income is an instance of human
(domain taxDeferredIncome 2 CurrencyMeasure)	FinancialOntology.kif 3323-3323	The number 2 argument of tax deferred income is an instance of currency measure
(domain taxDeferredIncome 3 OrganizationalProcess)	FinancialOntology.kif 3324-3324	The number 3 argument of tax deferred income is an instance of organizational process
(instance taxDeferredIncome TernaryRelation)	FinancialOntology.kif 3321-3321	tax deferred income is an instance of ternary relation
(subrelation taxDeferredIncome incomeEarned)	FinancialOntology.kif 3320-3320	tax deferred income is a subrelation of income earned

appearance as argument number 2

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

antecedent

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

FinancialOntology.kif 3329-3338

If tax deferred income for a human resulting from an organizational process is a currency measure and the organizational process exists during a time position,
then there doesn't exist a process such that the process is an instance of tax and the organizational process causes the process and the process exists during the time position

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

KB Term:			Term intersection

English Word: