TreeView Knowledge Base Browser

appearance as argument number 1

(documentation afterTaxIncome EnglishLanguage "An amount (usually income) after taxes have been subtracted.")	FinancialOntology.kif 3345-3346
(domain afterTaxIncome 1 Human)	FinancialOntology.kif 3342-3342	税后收入的 1 数量是人类的 instance
(domain afterTaxIncome 2 CurrencyMeasure)	FinancialOntology.kif 3343-3343	税后收入的 2 数量是货币测量的 instance
(domain afterTaxIncome 3 OrganizationalProcess)	FinancialOntology.kif 3344-3344	税后收入的 3 数量是机构性过程的 instance
(instance afterTaxIncome TernaryPredicate)	FinancialOntology.kif 3341-3341	税后收入是三元谓语的 instance
(subrelation afterTaxIncome incomeEarned)	FinancialOntology.kif 3340-3340	税后收入是赚的收入的 subrelation

appearance as argument number 2

(format ChineseLanguage afterTaxIncome "从 %3 由 %1 引申的 after tax income 是 %2 ")	domainEnglishFormat.kif 2710-2710
(format ChineseTraditionalLanguage afterTaxIncome "從 %3 由 %1 引申的 after tax income 是 %2 ")	domainEnglishFormat.kif 2709-2709
(format EnglishLanguage afterTaxIncome "the after tax income derived by %1 from %3 is %2")	domainEnglishFormat.kif 2708-2708
(termFormat ChineseLanguage afterTaxIncome "税后收入")	domainEnglishFormat.kif 5787-5787
(termFormat ChineseTraditionalLanguage afterTaxIncome "稅後收入")	domainEnglishFormat.kif 5786-5786
(termFormat EnglishLanguage afterTaxIncome "after tax income")	domainEnglishFormat.kif 5785-5785

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 3348-3358

如果人类是对于 %3 赚的 income 和实数测量单位是在收费的 amount charged 和机构性过程 causes 那个收费和 equal 另一个实数 and (第三实数和那个实数)，
然后从那个机构性过程由那个人类引申的 after tax income 是那个另外实数那个测量单位

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

KB Term:			Term intersection

English Word: