No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 919-919 | Tax est une sous-classe de ChargingAFee |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 944-944 | IncomeTax est une sous-classe de Tax |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 947-947 | DutyTax est une sous-classe de Tax |
![]() |