No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 919-919 | Tax is a subclass of chargingA fee |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 944-944 | Income tax is a subclass of tax |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 947-947 | Duty tax is a subclass of tax |