|
|
   Lending
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Lending ChineseLanguage "这是 Giving Process 的 subclass，这是在当 agent 在一段有限的时间内给 destination 一些东西，并预期东西稍后会被归还(也许会加上利息)。") | chinese_format.kif 3082-3083 | |
| (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 11559-11562 | |
| (externalImage Lending "http://upload.wikimedia.org/wikipedia/commons/0/ 0c/ General_government_net_lending_of_Hungary_2005-2010.png") | pictureList.kif 7186-7186 | |
| (externalImage Lending "http://upload.wikimedia.org/wikipedia/commons/4/ 4f/ Credit-cards.jpg") | pictureList.kif 7188-7188 | |
| (externalImage Lending "http://upload.wikimedia.org/wikipedia/commons/8/ 8d/ President_Franklin_D._Roosevelt-1941.jpg") | pictureList.kif 7187-7187 | |
| (externalImage Lending "http://upload.wikimedia.org/wikipedia/en/7/76/2005private_sector_credit.PNG") | pictureList.kif 6669-6669 | |
| (subclass Lending Giving) | Merge.kif 11557-11557 | Lending is a subclass of giving |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Lending "借出") | chinese_format.kif 1135-1135 | |
| (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 11577-11588 |
|
| 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 11564-11575 |
|
|
|
|
