more pictures...
| Borrowing
more pictures... | |
| appearance as argument number 1 |
|
|
| (documentation Borrowing ChineseLanguage "这是一组 Getting Process 的 subclass，这是在当 agent 在一段有限的事件内得到某些东西，并预期稍后会把东西归还(也许会加上利息)。") | chinese_format.kif 3091-3092 | |
| (documentation Borrowing EnglishLanguage "The subclass of Getting Processes where the agent gets something for a limited period of time with the expectation that it will be returned later (perhaps with interest).") | Merge.kif 11644-11646 | |
| (externalImage Borrowing "http://upload.wikimedia.org/math/6/3/2/6329331ff8409a4dff4a08a75e2d22c6.png") | pictureList.kif 10547-10547 | |
| (externalImage Borrowing "http://upload.wikimedia.org/math/8/8/0/880da8462a8f62af78e5d23d9816c266.png") | pictureList.kif 10546-10546 | |
| (externalImage Borrowing "http://upload.wikimedia.org/wikipedia/commons/ 0/ 08/ Borrowing_Under_a_Securitization_Structure.gif") | pictureList.kif 10539-10539 | |
| (externalImage Borrowing "http://upload.wikimedia.org/wikipedia/commons/ 1/ 1d/ No_Debt%2C_No_Trouble.07.JPG") | pictureList.kif 10542-10542 | |
| (externalImage Borrowing "http://upload.wikimedia.org/wikipedia/commons/ 3/ 35/ Public_debt_percent_gdp_world_map.PNG") | pictureList.kif 10543-10543 | |
| (externalImage Borrowing "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6a/ Federal_spendings.png") | pictureList.kif 10544-10544 | |
| (externalImage Borrowing "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9a/ Argentina_national_debt_1994-2004.png") | pictureList.kif 10541-10541 | |
| (externalImage Borrowing "http://upload.wikimedia.org/wikipedia/commons/ d/ df/ Bureau_of_the_Public_Debt.jpg") | pictureList.kif 10545-10545 | |
| (externalImage Borrowing "http://upload.wikimedia.org/wikipedia/commons/ e/ ed/ Debt.PNG") | pictureList.kif 10540-10540 | |
| (subclass Borrowing Getting) | Merge.kif 11642-11642 |
| appearance as argument number 2 |
|
|
| (subclass Renting Borrowing) | Mid-level-ontology.kif 21902-21902 | |
| (termFormat ChineseLanguage Borrowing "借入") | chinese_format.kif 1138-1138 | |
| (termFormat EnglishLanguage Borrowing "borrowing") | english_format.kif 1493-1493 |
| antecedent |
|
|
| (=> (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 11570-11581 |
| consequent |
|
|
| (=> (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 11583-11594 | |
| (=> (borrower ?Loan ?Agent) (exists (?Borrowing) (and (instance ?Borrowing Borrowing) (agent ?Borrowing ?Agent)))) |
FinancialOntology.kif 1303-1308 |
|
|
|