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 | O argumento numero 1 de afterTaxIncome e' uma instancia de Humano |
(domain afterTaxIncome 2 CurrencyMeasure) | FinancialOntology.kif 3326-3326 | O argumento numero 2 de afterTaxIncome e' uma instancia de Medida de Divisa |
(domain afterTaxIncome 3 OrganizationalProcess) | FinancialOntology.kif 3327-3327 | O argumento numero 3 de afterTaxIncome e' uma instancia de Processo Organizacional |
(instance afterTaxIncome TernaryPredicate) | FinancialOntology.kif 3324-3324 | afterTaxIncome e' uma instancia de Predicado Ternario |
(subrelation afterTaxIncome incomeEarned) | FinancialOntology.kif 3323-3323 | afterTaxIncome e' uma sub-relacao de 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 |
|