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 | Tax est une sous-classe de ChargingAFee |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 947-947 | DutyTax est une sous-classe de Tax |
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. | domainEnglishFormat.kif 57045-57045 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 57044-57044 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 57043-57043 |
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 |