TreeView Knowledge Base Browser

appearance as argument number 1

(documentation afterTaxIncome EnglishLanguage "An amount (usually income) after taxes have been subtracted.")	FinancialOntology.kif 3341-3342
(domain afterTaxIncome 1 Human)	FinancialOntology.kif 3338-3338
(domain afterTaxIncome 2 CurrencyMeasure)	FinancialOntology.kif 3339-3339
(domain afterTaxIncome 3 OrganizationalProcess)	FinancialOntology.kif 3340-3340
(instance afterTaxIncome TernaryPredicate)	FinancialOntology.kif 3337-3337
(subrelation afterTaxIncome incomeEarned)	FinancialOntology.kif 3336-3336

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 5782-5782
(termFormat ChineseTraditionalLanguage afterTaxIncome "稅後收入")	domainEnglishFormat.kif 5781-5781
(termFormat EnglishLanguage afterTaxIncome "after tax income")	domainEnglishFormat.kif 5780-5780

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 3344-3354

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

KB Term:			Term intersection

English Word: