TreeView Knowledge Base Browser

appearance as argument number 1

(documentation afterTaxIncome EnglishLanguage "An amount (usually income) after taxes have been subtracted.")	FinancialOntology.kif 3328-3329
(domain afterTaxIncome 1 Human)	FinancialOntology.kif 3325-3325
(domain afterTaxIncome 2 CurrencyMeasure)	FinancialOntology.kif 3326-3326
(domain afterTaxIncome 3 OrganizationalProcess)	FinancialOntology.kif 3327-3327
(instance afterTaxIncome TernaryPredicate)	FinancialOntology.kif 3324-3324
(subrelation afterTaxIncome incomeEarned)	FinancialOntology.kif 3323-3323

appearance as argument number 2

(format ChineseLanguage afterTaxIncome "从 %3 由 %1 引申的 after tax income 是 %2 ")	domainEnglishFormat.kif 2714-2714
(format ChineseTraditionalLanguage afterTaxIncome "從 %3 由 %1 引申的 after tax income 是 %2 ")	domainEnglishFormat.kif 2713-2713
(format EnglishLanguage afterTaxIncome "the after tax income derived by %1 from %3 is %2")	domainEnglishFormat.kif 2712-2712
(termFormat ChineseLanguage afterTaxIncome "税后收入")	domainEnglishFormat.kif 5778-5778
(termFormat ChineseTraditionalLanguage afterTaxIncome "稅後收入")	domainEnglishFormat.kif 5777-5777
(termFormat EnglishLanguage afterTaxIncome "after tax income")	domainEnglishFormat.kif 5776-5776

consequent

(=>
    (and
        (incomeEarned ?Agent
            (MeasureFn ?Income ?CU) ?Activity)
        (amountCharged ?Tax
            (MeasureFn ?TaxAmount ?CU))
        (causes ?Activity ?Tax)
        (equal ?ATIncome
            (SubtractionFn ?Income ?TaxAmount)))
    (afterTaxIncome ?Agent
        (MeasureFn ?ATIncome ?CU) ?Activity))

FinancialOntology.kif 3331-3341

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

KB Term:			Term intersection

English Word: