Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - incomeEarned
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 3185-3188
(domain incomeEarned 1 Human) FinancialOntology.kif 3182-3182 domain incomeEarned, 1 and 人[人間]
(domain incomeEarned 2 CurrencyMeasure) FinancialOntology.kif 3183-3183 domain incomeEarned, 2 and 通貨測定
(domain incomeEarned 3 OrganizationalProcess) FinancialOntology.kif 3184-3184 domain incomeEarned, 3 and 組織プロセス
(instance incomeEarned TernaryPredicate) FinancialOntology.kif 3181-3181 instance incomeEarned and 3進述語

appearance as argument number 2
-------------------------


(format EnglishLanguage incomeEarned "%1 %n{doesn't} income earned %2 for %3") domainEnglishFormat.kif 333-333
(subrelation afterTaxIncome incomeEarned) FinancialOntology.kif 3214-3214 subrelation afterTaxIncome and incomeEarned
(subrelation beforeTaxIncome incomeEarned) FinancialOntology.kif 3231-3231 subrelation beforeTaxIncome and incomeEarned
(subrelation taxDeferredIncome incomeEarned) FinancialOntology.kif 3194-3194 subrelation taxDeferredIncome and incomeEarned
(termFormat EnglishLanguage incomeEarned "income earned") domainEnglishFormat.kif 5339-5339 termFormat EnglishLanguage, incomeEarned and "income earned"

antecedent
-------------------------


(<=>
    (exists (?Income ?Tax ?TaxAmount)
        (and
            (incomeEarned ?Agent ?Income ?Activity)
            (amountCharged ?Tax ?TaxAmount)
            (causes ?Activity ?Tax)
            (equal ?ATIncome
                (SubtractionFn ?Income ?TaxAmount))))
    (afterTaxIncome ?Agent ?ATIncome ?Activity))
FinancialOntology.kif 3222-3229 通貨測定 ChargingAFee and ChargingAFeeAmount incomeEarned 人[人間], 通貨測定 and 組織プロセス amountCharged ChargingAFee and ChargingAFeeAmount causes 組織プロセス and ChargingAFee equal 通貨測定 and SubtractionFn 通貨測定 and ChargingAFeeAmount afterTaxIncome 人[人間], 通貨測定 and 組織プロセス
(=>
    (incomeEarned ?Agent ?Money ?Activity)
    (agent ?Activity ?Agent))
FinancialOntology.kif 3190-3192

consequent
-------------------------


(=>
    (compensationPackage ?Agent ?Money ?Period)
    (exists (?Activity)
        (and
            (instance ?Activity Working)
            (agent ?Activity ?Agent)
            (equal ?Period
                (WhenFn ?Activity))
            (incomeEarned ?Agent ?Money ?Activity))))
FinancialOntology.kif 3261-3268


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners