incomeEarned |
appearance as argument number 1 |
![]() |
(documentation incomeEarned EnglishLanguage "(incomeEarned ?Agent ?Money ?Action) means that ?Agent earned the amount of money ?Money from performing ?Action. Note that incomeEarned denotes that amount of money made before taxes are deducted.") | FinancialOntology.kif 3311-3314 | |
(domain incomeEarned 1 Human) | FinancialOntology.kif 3308-3308 | incomeEarned の数値 1 引数は 人[人間] の instance では |
(domain incomeEarned 2 CurrencyMeasure) | FinancialOntology.kif 3309-3309 | incomeEarned の数値 2 引数は 通貨測定 の instance では |
(domain incomeEarned 3 OrganizationalProcess) | FinancialOntology.kif 3310-3310 | incomeEarned の数値 3 引数は 組織プロセス の instance では |
(instance incomeEarned TernaryPredicate) | FinancialOntology.kif 3307-3307 | incomeEarned は 3進述語 の instance では |
appearance as argument number 2 |
![]() |
antecedent |
![]() |
(=> (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 |
|
(=> (incomeEarned ?Agent ?Money ?Activity) (agent ?Activity ?Agent)) |
FinancialOntology.kif 3316-3318 |
consequent |
![]() |
(=> (compensationPackage ?Agent ?Money ?Period) (exists (?Activity) (and (instance ?Activity Working) (agent ?Activity ?Agent) (equal ?Period (WhenFn ?Activity)) (incomeEarned ?Agent ?Money ?Activity)))) |
FinancialOntology.kif 3390-3397 |
![]() |
![]() |