Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
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 12000-12000 | 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 12002-12005 | 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 1491-1491 |
| 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 12020-12031 | 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 12007-12018 | 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 1330-1335 | If X lends Y, then there exists Z such that Z is an instance of lending and X is an agent of Z |
|