borrower |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1318-1318 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1316-1316 | The number 1 argument of borrower is an instance of loan |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1317-1317 | The number 2 argument of borrower is an instance of cognitive agent |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1315-1315 | borrower is an instance of binary predicate |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1314-1314 | borrower is a subrelation of party to agreement |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2906-2906 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2905-2905 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2904-2904 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11690-11690 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11689-11689 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11688-11688 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1277-1287 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1289-1298 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1427-1437 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1529-1533 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1444-1459 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1589-1593 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1465-1482 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1320-1325 |
|
consequent |
![]() |
![]() |
![]() |