more pictures...
| Borrowing(borrowing)
more pictures... | | borrow, borrowing, pawn, rental, renting |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3091-3092 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11048-11050 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10558-10558 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10557-10557 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10550-10550 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10553-10553 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10554-10554 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10555-10555 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10552-10552 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10556-10556 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10551-10551 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11046-11046 | Borrowing is a subclass of getting |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20361-20361 | Renting is a subclass of borrowing |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1138-1138 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 1498-1498 |
| antecedent |
|
|
| 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 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1258-1263 |
|
|
|
|