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

Formal Language: 



KB Term:  Term intersection
English Word: 

  afterTaxIncome

Sigma KEE - afterTaxIncome
afterTaxIncome

appearance as argument number 1
-------------------------


(documentation afterTaxIncome EnglishLanguage "An amount (usually income) after taxes have been subtracted.") FinancialOntology.kif 3219-3220
(domain afterTaxIncome 1 Human) FinancialOntology.kif 3216-3216
(domain afterTaxIncome 2 CurrencyMeasure) FinancialOntology.kif 3217-3217
(domain afterTaxIncome 3 OrganizationalProcess) FinancialOntology.kif 3218-3218
(instance afterTaxIncome TernaryPredicate) FinancialOntology.kif 3215-3215
(subrelation afterTaxIncome incomeEarned) FinancialOntology.kif 3214-3214

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


(format EnglishLanguage afterTaxIncome "the after tax income derived by %1 from %3 is %2") domainEnglishFormat.kif 687-687
(termFormat EnglishLanguage afterTaxIncome "after tax income") domainEnglishFormat.kif 1397-1397

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


(<=>
    (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


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

Show without tree


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