Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Borrowing
Borrowing(borrowing)
more pictures...
borrow, borrowing, pawn, rental, renting

appearance as argument number 1
-------------------------


s__documentation(s__Borrowing,s__ChineseLanguage,'"这是一组 Getting Processsubclass,这是在当 agent 在一段有限的事件内得到某些东西,并预期稍后会把东西归还(也许会加上利息)。"')

chinese_format.kif 3091-3092
s__documentation(s__Borrowing,s__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 11266-11268
s__externalImage(s__Borrowing,'"http://upload.wikimedia.org/math/6/3/2/6329331ff8409a4dff4a08a75e2d22c6.png"')

pictureList.kif 10557-10557
s__externalImage(s__Borrowing,'"http://upload.wikimedia.org/math/8/8/0/880da8462a8f62af78e5d23d9816c266.png"')

pictureList.kif 10556-10556
s__externalImage(s__Borrowing,'"http://upload.wikimedia.org/wikipedia/commons/ 0/ 08/ Borrowing_Under_a_Securitization_Structure.gif"')

pictureList.kif 10549-10549
s__externalImage(s__Borrowing,'"http://upload.wikimedia.org/wikipedia/commons/ 1/ 1d/ No_Debt%2C_No_Trouble.07.JPG"')

pictureList.kif 10552-10552
s__externalImage(s__Borrowing,'"http://upload.wikimedia.org/wikipedia/commons/ 3/ 35/ Public_debt_percent_gdp_world_map.PNG"')

pictureList.kif 10553-10553
s__externalImage(s__Borrowing,'"http://upload.wikimedia.org/wikipedia/commons/ 6/ 6a/ Federal_spendings.png"')

pictureList.kif 10554-10554
s__externalImage(s__Borrowing,'"http://upload.wikimedia.org/wikipedia/commons/ 9/ 9a/ Argentina_national_debt_1994-2004.png"')

pictureList.kif 10551-10551
s__externalImage(s__Borrowing,'"http://upload.wikimedia.org/wikipedia/commons/ d/ df/ Bureau_of_the_Public_Debt.jpg"')

pictureList.kif 10555-10555
s__externalImage(s__Borrowing,'"http://upload.wikimedia.org/wikipedia/commons/ e/ ed/ Debt.PNG"')

pictureList.kif 10550-10550
s__instance(s__Borrowing,s__SetOrClass)

s__subclass(s__Borrowing,s__Getting)

s__instance(s__Getting,s__SetOrClass)

Merge.kif 11264-11264 Borrowing is a subclass of getting

appearance as argument number 2
-------------------------


s__subclass(s__Renting,s__Borrowing)

s__instance(s__Borrowing,s__SetOrClass)

s__instance(s__Renting,s__SetOrClass)

Mid-level-ontology.kif 20650-20650 Renting is a subclass of borrowing
s__termFormat(s__ChineseLanguage,s__Borrowing,'"借入"')

chinese_format.kif 1138-1138
s__termFormat(s__EnglishLanguage,s__Borrowing,'"borrowing"')

english_format.kif 1498-1498

antecedent
-------------------------


( ! [V__AGENT2,V__OBJECT,V__AGENT1] :
   (((s__instance(V__AGENT2,s__Agent) &
         s__instance(V__AGENT1,s__Agent))
       =>
       (((( ? [V__BORROW] :
               ((s__instance(V__BORROW,s__Borrowing) &
                   s__agent(V__BORROW,V__AGENT1)
                 &
                 s__origin(V__BORROW,V__AGENT2)
               &
               s__patient(V__BORROW,V__OBJECT))))
       =>
       ( ? [V__LEND] :
         ((s__instance(V__LEND,s__Lending) &
             s__agent(V__LEND,V__AGENT2)
           &
           s__destination(V__LEND,V__AGENT1)
         &
         s__patient(V__LEND,V__OBJECT)))))
&
(( ? [V__LEND] :
   ((s__instance(V__LEND,s__Lending) &
       s__agent(V__LEND,V__AGENT2)
     &
     s__destination(V__LEND,V__AGENT1)
   &
   s__patient(V__LEND,V__OBJECT))))
=>
( ? [V__BORROW] :
((s__instance(V__BORROW,s__Borrowing) &
s__agent(V__BORROW,V__AGENT1)
&
s__origin(V__BORROW,V__AGENT2)
&
s__patient(V__BORROW,V__OBJECT))))))))
)
)

Merge.kif 11204-11216 There exists a process such that the process is an instance of borrowing and an agent is an agent of the process and the process originates at another agent and an entity is a patient of the process if and only if there exists another process such that the other process is an instance of lending and the other agent is an agent of the other process and the other process ends up at the agent and the entity is a patient of the other process

consequent
-------------------------


( ! [V__Loan,V__Agent] :
   (((s__instance(V__Loan,s__Loan) &
         s__instance(V__Agent,s__CognitiveAgent))
       =>
       ((s__borrower(V__Loan,V__Agent)
         =>
         (( ? [V__Borrowing] :
             ((s__instance(V__Borrowing,s__Borrowing) &
                 s__agent(V__Borrowing,V__Agent))))))))
)
)

FinancialOntology.kif 1258-1263


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners