(subclass Tax ChargingAFee) | FinancialOntology.kif 919-919 | Tax は ChargingAFee の subclass では %n |
(subclass IncomeTax Tax) | FinancialOntology.kif 944-944 | IncomeTax は Tax の subclass では %n |
(subclass DutyTax Tax) | FinancialOntology.kif 947-947 | DutyTax は Tax の subclass では %n |