(subclass Tax ChargingAFee) | FinancialOntology.kif 919-919 | Tax is a subclass of chargingA fee |
(subclass IncomeTax Tax) | FinancialOntology.kif 944-944 | Income tax is a subclass of tax |
(subclass DutyTax Tax) | FinancialOntology.kif 947-947 | Duty tax is a subclass of tax |