Tax - Sigma Knowledge base Browser

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, taxpayer, transfer_tax, value-added_tax, withholding, withholding_tax

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 874-874
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6916-6916
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8049-8049
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 873-873	Tax is a subclass of chargingA fee

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 901-901	Duty tax is a subclass of tax
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 898-898	Income tax is a subclass of tax
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57021-57021
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57020-57020
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57019-57019

antecedent

No TPTP formula. May not be expressible in strict first order.

FinancialOntology.kif 876-881

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

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3252-3261	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
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2079-2085	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
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2089-2094	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
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 887-896	If a physical is an instance of tax return, then the physical has the 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 3.0 is open source software produced by Articulate Software and its partners