Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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
-------------------------


(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 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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners