| 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 |
|
|
| (subclass Lending Giving) | Merge.kif 11894-11894 | Lending is a subclass of giving |
| (documentation Lending EnglishLanguage "The subclass of Giving Processes where the agent gives the destination something for a limited period of time with the expectation that it will be returned later (perhaps with interest).") | Merge.kif 11896-11899 | Lending is a subclass of giving |
| (externalImage Lending "http://upload.wikimedia.org/wikipedia/en/7/76/2005private_sector_credit.PNG") | pictureList.kif 6667-6667 | Lending is a subclass of giving |
| (externalImage Lending "http://upload.wikimedia.org/wikipedia/commons/0/ 0c/ General_government_net_lending_of_Hungary_2005-2010.png") | pictureList.kif 7184-7184 | Lending is a subclass of giving |
| (externalImage Lending "http://upload.wikimedia.org/wikipedia/commons/8/ 8d/ President_Franklin_D._Roosevelt-1941.jpg") | pictureList.kif 7185-7185 | Lending is a subclass of giving |
| (externalImage Lending "http://upload.wikimedia.org/wikipedia/commons/4/ 4f/ Credit_cards.jpg") | pictureList.kif 7186-7186 | Lending is a subclass of giving |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Lending "lending") | english_format.kif 1487-1487 |
| antecedent |
|
|
| (=> (and (instance ?LEND Lending) (agent ?LEND ?AGENT2) (destination ?LEND ?AGENT1) (patient ?LEND ?OBJECT)) (exists (?BORROW) (and (instance ?BORROW Borrowing) (agent ?BORROW ?AGENT1) (origin ?BORROW ?AGENT2) (patient ?BORROW ?OBJECT)))) |
Merge.kif 11914-11925 | If X is an instance of lending, Y is an agent of X, X ends up at Z, and W is a patient of X, then there exists V such that V is an instance of borrowing, Z is an agent of V, V originates at Y, and W is a patient of V |
| consequent |
|
|
| (=> (and (instance ?BORROW Borrowing) (agent ?BORROW ?AGENT1) (origin ?BORROW ?AGENT2) (patient ?BORROW ?OBJECT)) (exists (?LEND) (and (instance ?LEND Lending) (agent ?LEND ?AGENT2) (destination ?LEND ?AGENT1) (patient ?LEND ?OBJECT)))) |
Merge.kif 11901-11912 | If X is an instance of borrowing, Y is an agent of X, X originates at Z, and W is a patient of X, then there exists V such that V is an instance of lending, Z is an agent of V, V ends up at Y, and W is a patient of V |
| (=> (lender ?Loan ?Agent) (exists (?Lending) (and (instance ?Lending Lending) (agent ?Lending ?Agent)))) |
FinancialOntology.kif 1307-1312 | If X lends Y, then there exists Z such that Z is an instance of lending and X is an agent of Z |
|
|
|