borrower |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1302-1302 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1300-1300 | The number 1 argument of borrower is an instance of loan |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1301-1301 | 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 1299-1299 | borrower is an instance of binary predicate |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1298-1298 | 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 2910-2910 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2909-2909 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2908-2908 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11681-11681 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11680-11680 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11679-11679 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1261-1271 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1273-1282 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1411-1421 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1513-1517 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1428-1443 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1573-1577 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1449-1466 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1304-1309 |
|
consequent |