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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Borrowing

Sigma KEE - Borrowing
Borrowing
more pictures...

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


(documentation Borrowing ChineseLanguage "这是一组 Getting Processsubclass,这是在当 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 11638-11640
(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 11636-11636 subclass Borrowing and Getting

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


(subclass Renting Borrowing) Mid-level-ontology.kif 21878-21878 subclass Renting and Borrowing
(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 11564-11575

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 11577-11588


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

Show without tree


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