Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - taxDeferredIncome
taxDeferredIncome

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 3205-3207
(domain taxDeferredIncome 1 Human) FinancialOntology.kif 3202-3202 The number 1 argument of tax deferred income is an instance of human
(domain taxDeferredIncome 2 CurrencyMeasure) FinancialOntology.kif 3203-3203 The number 2 argument of tax deferred income is an instance of currency measure
(domain taxDeferredIncome 3 OrganizationalProcess) FinancialOntology.kif 3204-3204 The number 3 argument of tax deferred income is an instance of organizational process
(instance taxDeferredIncome TernaryRelation) FinancialOntology.kif 3201-3201 tax deferred income is an instance of ternary relation
(subrelation taxDeferredIncome incomeEarned) FinancialOntology.kif 3200-3200 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 4739-4739
(format ChineseTraditionalLanguage taxDeferredIncome "從 %3 造成的 tax deferred income 對於 %1 是 %2 ") domainEnglishFormat.kif 4738-4738
(format EnglishLanguage taxDeferredIncome "tax deferred income for %1 resulting from %3 is %2") domainEnglishFormat.kif 4737-4737
(termFormat ChineseLanguage taxDeferredIncome "税收递延收入") domainEnglishFormat.kif 57001-57001 "税收递延收入" is the printable form of tax deferred income in ChineseLanguage
(termFormat ChineseTraditionalLanguage taxDeferredIncome "稅收遞延收入") domainEnglishFormat.kif 57000-57000 "稅收遞延收入" is the printable form of tax deferred income in ChineseTraditionalLanguage
(termFormat EnglishLanguage taxDeferredIncome "tax deferred income") domainEnglishFormat.kif 56999-56999 "tax deferred income" is the printable form of tax deferred income in english language

antecedent
-------------------------


(=>
    (and
        (taxDeferredIncome ?Agent ?Income ?Activity)
        (time ?Activity ?Time))
    (not
        (exists (?Tax)
            (and
                (instance ?Tax Tax)
                (causes ?Activity ?Tax)
                (time ?Tax ?Time)))))
FinancialOntology.kif 3209-3218


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners