Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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, taxpayer, transfer_tax, value-added_tax, withholding, withholding_tax

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


(subclass Tax ChargingAFee) FinancialOntology.kif 941-941 Tax is a subclass of charging a fee
(documentation Tax EnglishLanguage "A fee charged by a government on a product, income, or activity.") FinancialOntology.kif 942-942 Tax is a subclass of charging a fee
(externalImage Tax "http://upload.wikimedia.org/wikipedia/commons/5/5e/Assorted_United_States_coins.jpg") pictureList.kif 6914-6914 Tax is a subclass of charging a fee
(externalImage Tax "http://upload.wikimedia.org/wikipedia/commons/b/bf/Wells_egyptian_peasants_taxes.png") pictureList.kif 8046-8046 Tax is a subclass of charging a fee

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


(subclass IncomeTax Tax) FinancialOntology.kif 966-966 Income tax is a subclass of tax
(subclass DutyTax Tax) FinancialOntology.kif 969-969 Duty tax is a subclass of tax
(termFormat EnglishLanguage Tax "tax") domainEnglishFormat.kif 57038-57038 Duty tax is a subclass of tax
(termFormat ChineseTraditionalLanguage Tax "稅") domainEnglishFormat.kif 57039-57039 Duty tax is a subclass of tax
(termFormat ChineseLanguage Tax "税") domainEnglishFormat.kif 57040-57040 Duty tax is a subclass of tax

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


(=>
    (instance ?Tax Tax)
    (exists (?Org)
        (and
            (instance ?Org Government)
            (agent ?Tax ?Org))))		 FinancialOntology.kif 944-949 If X is an instance of tax, then there exists Y such that Y is an instance of government and Y is an agent of X

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


(=>
    (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 955-964 If X is an instance of tax return, then X has the purpose there exist Y, Z, W such that Y is an instance of calculating, X is an instrument for Y, Z is a result of Y, Z is a transaction amount of W, and W is an instance of tax
(=>
    (instance ?Investment TaxFreeInvestment)
    (not
        (exists (?Tax)
            (and
                (instance ?Tax Tax)
                (origin ?Tax ?Investment)))))		 FinancialOntology.kif 2170-2176 If X is an instance of tax free investment, then there doesn't exist Y such that Y is an instance of tax and Y originates at X
(=>
    (instance ?Investment TaxableInvestment)
    (exists (?Tax)
        (and
            (instance ?Tax Tax)
            (origin ?Tax ?Investment))))		 FinancialOntology.kif 2180-2185 If X is an instance of taxable investment, then there exists Y such that Y is an instance of tax and Y originates at X
(=>
    (and
        (taxDeferredIncome ?Agent ?Income ?Activity)
        (time ?Activity ?Time))
    (not
        (exists (?Tax)
            (and
                (instance ?Tax Tax)
                (causes ?Activity ?Tax)
                (time ?Tax ?Time)))))		 FinancialOntology.kif 3369-3378 If tax deferred income for X resulting from Y is Z and Y exists during W, then there doesn't exist V such that V is an instance of tax, Y causes V, and V exists during 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-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners