Tax - Sigma Knowledge base Browser

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

If a process is an instance of tax,
then there exists an agent such that the agent is an instance of government and the agent is an agent of the process

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	If tax deferred income for a human resulting from an organizational process is a currency measure and the organizational process exists during a time position, then there doesn't exist a process such that the process is an instance of tax and the organizational process causes the process and the process exists during the time position
(=> (instance ?Investment TaxFreeInvestment) (not (exists (?Tax) (and (instance ?Tax Tax) (origin ?Tax ?Investment)))))	FinancialOntology.kif 2061-2067	If an object is an instance of tax free investment, then there doesn't exist a process such that the process is an instance of tax and the process originates at the object
(=> (instance ?Investment TaxableInvestment) (exists (?Tax) (and (instance ?Tax Tax) (origin ?Tax ?Investment))))	FinancialOntology.kif 2071-2076	If an object is an instance of taxable investment, then there exists a process such that the process is an instance of tax and the process originates at the object
(=> (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	If a physical is an instance of tax return, then the physical has purpose there exist an entity, another entity and a third entity such that the entity is an instance of calculating and the physical is an instrument for the entity and the other entity is a result of the entity and the other entity is a transaction amount of the third entity and the third entity is an instance of tax

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

KB Term:			Term intersection

English Word: