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 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 57055-57055
(termFormat ChineseTraditionalLanguage taxDeferredIncome "稅收遞延收入")	domainEnglishFormat.kif 57054-57054
(termFormat EnglishLanguage taxDeferredIncome "tax deferred income")	domainEnglishFormat.kif 57053-57053

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

Wenn taxDeferredIncome Human, CurrencyMeasure and OrganizationalProcess und ** OrganizationalProcess besteht waehrend TimePosition %n{nicht},
dann es gibt nicht Process um ** Process ist ein fall von Tax %n{nicht} und ** OrganizationalProcess verursacht ** Process %n{nicht} und ** Process besteht waehrend ** TimePosition %n{nicht}

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

KB Term:			Term intersection

English Word: