Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - taxDeferredIncome
taxDeferredIncome

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


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners