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 is a subclass of chargingA fee |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 947-947 | Duty tax is a subclass of tax |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 944-944 | Income tax is a subclass of 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 |
|