| BankStatement(bank statement) | | bank_statement |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3901-3901 | |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3900-3900 | Bank statement is a subclass of proposition |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 9841-9841 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 9840-9840 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 9839-9839 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 4044-4044 | The number 1 argument of date of statement is an instance of bank statement |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3917-3917 | The number 2 argument of last statement is an instance of bank statement |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 4071-4071 | 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 4095-4095 | The number 1 argument of statement interest is an instance of bank statement |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 4077-4077 | The number 1 argument of statement period is an instance of bank statement |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3903-3913 |
|
|
|
|