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 | O argumento numero 1 de statementAccount e' uma instancia de BankStatement |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 4054-4054 | O argumento numero 2 de statementAccount e' uma instancia de FinancialAccount |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 4052-4052 | statementAccount e' uma instancia de Predicado Binario |
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 |