No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 919-919 | 税 是 收费 的 subclass |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 944-944 | 所得税 是 税 的 subclass |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 947-947 | 关税 是 税 的 subclass |