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 | The number 1 argument of statement account is an instance of bank statement |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 4054-4054 | The number 2 argument of statement account is an instance of financial account |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 4052-4052 | statement account is an instance of binary predicate |
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 |
|