Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Borrowing(borrowing)
more pictures... |  | borrow, borrowing, pawn, rental, renting |
| appearance as argument number 1 |
|
|
| (subclass Borrowing Getting) | Merge.kif 12079-12079 | Borrowing is a subclass of getting |
| (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 12081-12083 | Borrowing is a subclass of getting |
| (externalImage Borrowing "http://upload.wikimedia.org/wikipedia/commons/ 0/ 08/ Borrowing_Under_a_Securitization_Structure.gif") | pictureList.kif 10527-10527 | Borrowing is a subclass of getting |
| (externalImage Borrowing "http://upload.wikimedia.org/wikipedia/commons/ e/ ed/ Debt.PNG") | pictureList.kif 10528-10528 | Borrowing is a subclass of getting |
| (externalImage Borrowing "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9a/ Argentina_national_debt_1994-2004.png") | pictureList.kif 10529-10529 | Borrowing is a subclass of getting |
| (externalImage Borrowing "http://upload.wikimedia.org/wikipedia/commons/ 1/ 1d/ No_Debt%2C_No_Trouble.07.JPG") | pictureList.kif 10530-10530 | Borrowing is a subclass of getting |
| (externalImage Borrowing "http://upload.wikimedia.org/wikipedia/commons/ 3/ 35/ Public_debt_percent_gdp_world_map.PNG") | pictureList.kif 10531-10531 | Borrowing is a subclass of getting |
| (externalImage Borrowing "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6a/ Federal_spendings.png") | pictureList.kif 10532-10532 | Borrowing is a subclass of getting |
| (externalImage Borrowing "http://upload.wikimedia.org/wikipedia/commons/ d/ df/ Bureau_of_the_Public_Debt.jpg") | pictureList.kif 10533-10533 | Borrowing is a subclass of getting |
| (externalImage Borrowing "http://upload.wikimedia.org/math/8/8/0/880da8462a8f62af78e5d23d9816c266.png") | pictureList.kif 10534-10534 | Borrowing is a subclass of getting |
| (externalImage Borrowing "http://upload.wikimedia.org/math/6/3/2/6329331ff8409a4dff4a08a75e2d22c6.png") | pictureList.kif 10535-10535 | Borrowing is a subclass of getting |
| appearance as argument number 2 |
|
|
| (subclass Renting Borrowing) | Mid-level-ontology.kif 24699-24699 | Renting is a subclass of borrowing |
| (termFormat EnglishLanguage Borrowing "borrowing") | english_format.kif 1497-1497 | Renting is a subclass of borrowing |
| 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 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 |
| 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 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 |
| (=> (borrower ?Loan ?Agent) (exists (?Borrowing) (and (instance ?Borrowing Borrowing) (agent ?Borrowing ?Agent)))) |
FinancialOntology.kif 1343-1348 | If X is the borrower of Y, then there exists Z such that Z is an instance of borrowing and Y is an agent of Z |
|