| Lending(lending)
| | auto_loan, automobile_loan, bank_loan, call_loan, car_loan, consumer_loan, demand_loan, direct_loan, give, lend, lending, loan, loan_participation, loaning, mortgage_loan, participation_financing, participation_loan, personal_loan, real_estate_loan, time_loan, usury |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3082-3083 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10981-10984 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7187-7187 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7189-7189 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7188-7188 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6669-6669 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10979-10979 | Lending is a subclass of giving |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1135-1135 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 1492-1492 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10986-10998 | There exists a process such that the process is an instance of borrowing and an agent is an agent of the process and the process originates at another agent and an entity is a patient of the process if and only if there exists another process such that the other process is an instance of lending and the other agent is an agent of the other process and the other process ends up at the agent and the entity is a patient of the other process |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1245-1250 |
|
|
|
|