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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Borrowing
Borrowing(借入)
more pictures...

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


(documentation Borrowing ChineseLanguage "这是一组 Getting Processsubclass,这是在当 agent 在一段有限的事件内得到某些东西,并预期稍后会把东西归还(也许会加上利息)。") Merge.kif 11759-11760
(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 11756-11758
(externalImage Borrowing "http://upload.wikimedia.org/math/6/3/2/6329331ff8409a4dff4a08a75e2d22c6.png") pictureList.kif 10558-10558 externalImage 借入 and "http://upload.wikimedia.org/math/6/3/2/6329331ff8409a4dff4a08a75e2d22c6.png"
(externalImage Borrowing "http://upload.wikimedia.org/math/8/8/0/880da8462a8f62af78e5d23d9816c266.png") pictureList.kif 10557-10557 externalImage 借入 and "http://upload.wikimedia.org/math/8/8/0/880da8462a8f62af78e5d23d9816c266.png"
(externalImage Borrowing "http://upload.wikimedia.org/wikipedia/commons/ 0/ 08/ Borrowing_Under_a_Securitization_Structure.gif") pictureList.kif 10550-10550 externalImage 借入 and "http://upload.wikimedia.org/wikipedia/commons/0/08/ Borrowing_Under_a_Securitization_Structure.gif"
(externalImage Borrowing "http://upload.wikimedia.org/wikipedia/commons/ 1/ 1d/ No_Debt%2C_No_Trouble.07.JPG") pictureList.kif 10553-10553 externalImage 借入 and "http://upload.wikimedia.org/wikipedia/commons/1/1d/ No_Debt%2C_No_Trouble.07.JPG"
(externalImage Borrowing "http://upload.wikimedia.org/wikipedia/commons/ 3/ 35/ Public_debt_percent_gdp_world_map.PNG") pictureList.kif 10554-10554 externalImage 借入 and "http://upload.wikimedia.org/wikipedia/commons/3/35/ Public_debt_percent_gdp_world_map.PNG"
(externalImage Borrowing "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6a/ Federal_spendings.png") pictureList.kif 10555-10555 externalImage 借入 and "http://upload.wikimedia.org/wikipedia/commons/6/6a/ Federal_spendings.png"
(externalImage Borrowing "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9a/ Argentina_national_debt_1994-2004.png") pictureList.kif 10552-10552 externalImage 借入 and "http://upload.wikimedia.org/wikipedia/commons/9/9a/ Argentina_national_debt_1994-2004.png"
(externalImage Borrowing "http://upload.wikimedia.org/wikipedia/commons/ d/ df/ Bureau_of_the_Public_Debt.jpg") pictureList.kif 10556-10556 externalImage 借入 and "http://upload.wikimedia.org/wikipedia/commons/d/df/ Bureau_of_the_Public_Debt.jpg"
(externalImage Borrowing "http://upload.wikimedia.org/wikipedia/commons/ e/ ed/ Debt.PNG") pictureList.kif 10551-10551 externalImage 借入 and "http://upload.wikimedia.org/wikipedia/commons/e/ed/ Debt.PNG"
(subclass Borrowing Getting) Merge.kif 11755-11755 借入获得subclass

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


(subclass Renting Borrowing) Mid-level-ontology.kif 20317-20317 Renting借入subclass
(termFormat ChineseLanguage Borrowing "借入") chinese_format.kif 1138-1138 termFormat ChineseLanguage, 借入 and "借入"
(termFormat EnglishLanguage Borrowing "borrowing") english_format.kif 825-825 termFormat EnglishLanguage, 借入 and "borrowing"

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


(<=>
    (exists (?BORROW)
        (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 11691-11703 有存在 过程 这样 那个 过程借入instance 施事体那个 过程agent另一个 施事体那个 过程 的源头 和 实体那个 过程patient 若且唯若 有存在 另一个 过程 这样 那个 另外 过程借出instance那个 另外 施事体那个 另外 过程agent那个 另外 过程那个 施事体 结束 和 那个 实体那个 另外 过程patient

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


(=>
    (borrower ?Loan ?Agent)
    (exists (?Borrowing)
        (and
            (instance ?Borrowing Borrowing)
            (agent ?Borrowing ?Agent))))
FinancialOntology.kif 1246-1251


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners