afterTaxIncome |
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 | Die Zahl 1 Argument von afterTaxIncome ist ein fall von Human %n{nicht} |
(domain afterTaxIncome 2 CurrencyMeasure) | FinancialOntology.kif 3326-3326 | Die Zahl 2 Argument von afterTaxIncome ist ein fall von CurrencyMeasure %n{nicht} |
(domain afterTaxIncome 3 OrganizationalProcess) | FinancialOntology.kif 3327-3327 | Die Zahl 3 Argument von afterTaxIncome ist ein fall von OrganizationalProcess %n{nicht} |
(instance afterTaxIncome TernaryPredicate) | FinancialOntology.kif 3324-3324 | afterTaxIncome ist ein fall von TernaryPredicate %n{nicht} |
(subrelation afterTaxIncome incomeEarned) | FinancialOntology.kif 3323-3323 | afterTaxIncome ist eine teilrelation von incomeEarned |
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 |
|