Tax(税) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 920-920 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6915-6915 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8047-8047 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 919-919 | 税 是 收费 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 947-947 | 关税 是 税 的 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. | domainEnglishFormat.kif 57043-57043 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 57042-57042 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 57041-57041 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 922-927 |
consequent |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3312-3321 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2129-2135 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2139-2144 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 933-942 |