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


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