incomeEarned - Sigma Knowledge base Browser

appearance as argument number 1

(instance incomeEarned TernaryPredicate)	FinancialOntology.kif 3347-3347	income earned is an instance of ternary predicate
(domain incomeEarned 1 Human)	FinancialOntology.kif 3348-3348	The number 1 argument of income earned is an instance of human
(domain incomeEarned 2 CurrencyMeasure)	FinancialOntology.kif 3349-3349	The number 2 argument of income earned is an instance of currency measure
(domain incomeEarned 3 OrganizationalProcess)	FinancialOntology.kif 3350-3350	The number 3 argument of income earned is an instance of organizational process
(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 3351-3354	The number 3 argument of income earned is an instance of organizational process

appearance as argument number 2

(subrelation taxDeferredIncome incomeEarned)	FinancialOntology.kif 3360-3360	tax deferred income is a subrelation of income earned
(subrelation afterTaxIncome incomeEarned)	FinancialOntology.kif 3380-3380	after tax income is a subrelation of income earned
(subrelation beforeTaxIncome incomeEarned)	FinancialOntology.kif 3400-3400	before tax income is a subrelation of income earned
(format EnglishLanguage incomeEarned "%1 is %n income earned %2 for %3")	domainEnglishFormat.kif 1299-1299	before tax income is a subrelation of income earned
(format ChineseTraditionalLanguage incomeEarned "%1 %n 是對於 %3 賺的 income ")	domainEnglishFormat.kif 1300-1300	before tax income is a subrelation of income earned
(format ChineseLanguage incomeEarned "%1 %n 是对于 %3 赚的 income ")	domainEnglishFormat.kif 1301-1301	before tax income is a subrelation of income earned
(termFormat EnglishLanguage incomeEarned "income earned")	domainEnglishFormat.kif 29535-29535	before tax income is a subrelation of income earned
(termFormat ChineseTraditionalLanguage incomeEarned "賺的收入")	domainEnglishFormat.kif 29536-29536	before tax income is a subrelation of income earned
(termFormat ChineseLanguage incomeEarned "赚的收入")	domainEnglishFormat.kif 29537-29537	before tax income is a subrelation of income earned

antecedent

(=> (incomeEarned ?Agent ?Money ?Activity) (agent ?Activity ?Agent))	FinancialOntology.kif 3356-3358	If X is income earned Y for Z, then X is an agent of Z
(=> (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 3388-3398	If X is income earned Y Z(s) for W, V Z(s) is the amount charged in U, W causes U, and equal T and (Y and V), then the after tax income derived by X from W is T Z(s)

consequent

(=>
    (compensationPackage ?Agent ?Money ?Period)
    (exists (?Activity)
        (and
            (instance ?Activity Working)
            (agent ?Activity ?Agent)
            (equal ?Period
                (WhenFn ?Activity))
            (incomeEarned ?Agent ?Money ?Activity))))

FinancialOntology.kif 3430-3437

If X compensation package Y for Z, then there exists W such that W is an instance of working, X is an agent of W, equal Z, the time of existence of W, and X is income earned Y for W

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

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners