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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Tax
Tax(tax)
FICA, PAYE, VAT, ad_valorem_tax, business_deduction, capital_gains_tax, capital_levy, capitation, council_tax, death_duty, death_tax, degressive_tax, departure_tax, direct_tax, estate_tax, estimated_tax, excise, excise_tax, franchise_tax, gasoline_tax, gift_tax, graduated_tax, hidden_tax, indirect_tax, inheritance_tax, land_tax, nuisance_tax, pavage, pay_as_you_earn, poll_tax, poor_rates, progressive_tax, property_tax, proportional_tax, ratepayer, rates, sales_tax, ship_money, single_tax, special_assessment, stamp_duty, stamp_tax, supertax, surtax, tax, taxpayer, transfer_tax, value-added_tax, withholding, withholding_tax

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


(documentation Tax EnglishLanguage "A fee charged by a government on a product, income, or activity.") FinancialOntology.kif 865-865
(externalImage Tax "http://upload.wikimedia.org/wikipedia/commons/5/5e/Assorted_United_States_coins.jpg") pictureList.kif 6916-6916 "http://upload.wikimedia.org/wikipedia/commons/5/5e/ Assorted_United_States_coins.jpg" is a URL depicting tax
(externalImage Tax "http://upload.wikimedia.org/wikipedia/commons/b/bf/Wells_egyptian_peasants_taxes.png") pictureList.kif 8049-8049 "http://upload.wikimedia.org/wikipedia/commons/b/bf/ Wells_egyptian_peasants_taxes.png" is a URL depicting tax
(subclass Tax ChargingAFee) FinancialOntology.kif 864-864 Tax is a subclass of chargingA fee

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


(subclass DutyTax Tax) FinancialOntology.kif 892-892 Duty tax is a subclass of tax
(subclass IncomeTax Tax) FinancialOntology.kif 889-889 Income tax is a subclass of tax
(termFormat EnglishLanguage Tax "tax") domainEnglishFormat.kif 9932-9932 "tax" is the printable form of tax in english language

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


(=>
    (instance ?Tax Tax)
    (exists (?Org)
        (and
            (instance ?Org Government)
            (agent ?Tax ?Org))))
FinancialOntology.kif 867-872

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


(=>
    (and
        (taxDeferredIncome ?Agent ?Income ?Activity)
        (time ?Activity ?Time))
    (not
        (exists (?Tax)
            (and
                (instance ?Tax Tax)
                (causes ?Activity ?Tax)
                (time ?Tax ?Time)))))
FinancialOntology.kif 3203-3212
(=>
    (instance ?Investment TaxFreeInvestment)
    (not
        (exists (?Tax)
            (and
                (instance ?Tax Tax)
                (origin ?Tax ?Investment)))))
FinancialOntology.kif 2061-2067
(=>
    (instance ?Investment TaxableInvestment)
    (exists (?Tax)
        (and
            (instance ?Tax Tax)
            (origin ?Tax ?Investment))))
FinancialOntology.kif 2071-2076
(=>
    (instance ?RETURN TaxReturn)
    (hasPurpose ?RETURN
        (exists (?CALCULATE ?AMOUNT ?TAX)
            (and
                (instance ?CALCULATE Calculating)
                (instrument ?CALCULATE ?RETURN)
                (result ?CALCULATE ?AMOUNT)
                (transactionAmount ?TAX ?AMOUNT)
                (instance ?TAX Tax)))))
FinancialOntology.kif 878-887


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