statementAccount |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 4055-4056 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 4053-4053 | Le nombre 1 argument de statementAccount est une instance de BankStatement |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 4054-4054 | Le nombre 2 argument de statementAccount est une instance de FinancialAccount |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 4052-4052 | statementAccount est une instance de pr�dicat binaire |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2351-2351 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2350-2350 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2349-2349 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55128-55128 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55127-55127 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55126-55126 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3885-3895 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 4082-4087 |