Borrowing
|
|
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 11851-11853 | |
(documentation Borrowing JapaneseLanguage "後で見返りがあることを期待して、限られた期間(おそら く利子を含む) 何かを得る Getting Processes の subclass 。") | japanese_format.kif 1862-1863 | |
(externalImage Borrowing "http://upload.wikimedia.org/math/6/3/2/6329331ff8409a4dff4a08a75e2d22c6.png") | pictureList.kif 10537-10537 | |
(externalImage Borrowing "http://upload.wikimedia.org/math/8/8/0/880da8462a8f62af78e5d23d9816c266.png") | pictureList.kif 10536-10536 | |
(externalImage Borrowing "http://upload.wikimedia.org/wikipedia/commons/ 0/ 08/ Borrowing_Under_a_Securitization_Structure.gif") | pictureList.kif 10529-10529 | |
(externalImage Borrowing "http://upload.wikimedia.org/wikipedia/commons/ 1/ 1d/ No_Debt%2C_No_Trouble.07.JPG") | pictureList.kif 10532-10532 | |
(externalImage Borrowing "http://upload.wikimedia.org/wikipedia/commons/ 3/ 35/ Public_debt_percent_gdp_world_map.PNG") | pictureList.kif 10533-10533 | |
(externalImage Borrowing "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6a/ Federal_spendings.png") | pictureList.kif 10534-10534 | |
(externalImage Borrowing "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9a/ Argentina_national_debt_1994-2004.png") | pictureList.kif 10531-10531 | |
(externalImage Borrowing "http://upload.wikimedia.org/wikipedia/commons/ d/ df/ Bureau_of_the_Public_Debt.jpg") | pictureList.kif 10535-10535 | |
(externalImage Borrowing "http://upload.wikimedia.org/wikipedia/commons/ e/ ed/ Debt.PNG") | pictureList.kif 10530-10530 | |
(subclass Borrowing Getting) | Merge.kif 11849-11849 |
appearance as argument number 2 |
(subclass Renting Borrowing) | Mid-level-ontology.kif 22474-22474 | |
(termFormat ChineseLanguage Borrowing "借入") | chinese_format.kif 1138-1138 | |
(termFormat EnglishLanguage Borrowing "borrowing") | english_format.kif 1493-1493 | |
(termFormat FrenchLanguage Borrowing "emprunter") | french_format.kif 816-816 | |
(termFormat Hindi Borrowing "rina aadaana") | terms-hindi.txt 348-348 | |
(termFormat ItalianLanguage Borrowing "PrendereInPrestito") | terms-it.txt 351-351 | |
(termFormat JapaneseLanguage Borrowing "借り") | japanese_format.kif 2500-2500 | |
(termFormat PortugueseLanguage Borrowing "Tomar Emprestado") | portuguese_format.kif 768-768 | |
(termFormat cb Borrowing "paghulos") | terms-cb.txt 353-353 | |
(termFormat cz Borrowing "borrowing") | terms-cz.txt 387-387 | |
(termFormat ro Borrowing "a lua împrumut") | relations-ro.kif 837-837 | |
(termFormat tg Borrowing "paghiram") | terms-tg.txt 352-352 |
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 11777-11788 |
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 11790-11801 | |
(=> (borrower ?Loan ?Agent) (exists (?Borrowing) (and (instance ?Borrowing Borrowing) (agent ?Borrowing ?Agent)))) |
FinancialOntology.kif 1304-1309 |