Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - incomeEarned
incomeEarned

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