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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Tax

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, 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 919-919
(externalImage Tax "http://upload.wikimedia.org/wikipedia/commons/5/5e/Assorted_United_States_coins.jpg") pictureList.kif 6916-6916
(externalImage Tax "http://upload.wikimedia.org/wikipedia/commons/b/bf/Wells_egyptian_peasants_taxes.png") pictureList.kif 8048-8048
(subclass Tax ChargingAFee) FinancialOntology.kif 918-918 Tax is a subclass of chargingA fee

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


(subclass DutyTax Tax) FinancialOntology.kif 946-946 Duty tax is a subclass of tax
(subclass IncomeTax Tax) FinancialOntology.kif 943-943 Income tax is a subclass of tax
(termFormat ChineseLanguage Tax "税") domainEnglishFormat.kif 57022-57022
(termFormat ChineseTraditionalLanguage Tax "稅") domainEnglishFormat.kif 57021-57021
(termFormat EnglishLanguage Tax "tax") domainEnglishFormat.kif 57020-57020

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


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

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


(=>
    (and
        (taxDeferredIncome ?Agent ?Income ?Activity)
        (time ?Activity ?Time))
    (not
        (exists (?Tax)
            (and
                (instance ?Tax Tax)
                (causes ?Activity ?Tax)
                (time ?Tax ?Time)))))
FinancialOntology.kif 3318-3327
(=>
    (instance ?Investment TaxFreeInvestment)
    (not
        (exists (?Tax)
            (and
                (instance ?Tax Tax)
                (origin ?Tax ?Investment)))))
FinancialOntology.kif 2138-2144
(=>
    (instance ?Investment TaxableInvestment)
    (exists (?Tax)
        (and
            (instance ?Tax Tax)
            (origin ?Tax ?Investment))))
FinancialOntology.kif 2148-2153
(=>
    (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 932-941


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 3.0 is open source software produced by Articulate Software and its partners