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 3308-3310
(domain taxDeferredIncome 1 Human) FinancialOntology.kif 3305-3305 Die Zahl 1 Argument von taxDeferredIncome ist ein fall von Human %n{nicht}
(domain taxDeferredIncome 2 CurrencyMeasure) FinancialOntology.kif 3306-3306 Die Zahl 2 Argument von taxDeferredIncome ist ein fall von CurrencyMeasure %n{nicht}
(domain taxDeferredIncome 3 OrganizationalProcess) FinancialOntology.kif 3307-3307 Die Zahl 3 Argument von taxDeferredIncome ist ein fall von OrganizationalProcess %n{nicht}
(instance taxDeferredIncome TernaryRelation) FinancialOntology.kif 3304-3304 taxDeferredIncome ist ein fall von TernaryRelation %n{nicht}
(subrelation taxDeferredIncome incomeEarned) FinancialOntology.kif 3303-3303 taxDeferredIncome ist eine teilrelation von incomeEarned

appearance as argument number 2
-------------------------


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

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


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


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 is open source software produced by Articulate Software and its partners