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 11620-11621
(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 11617-11619
(externalImage Borrowing "http://upload.wikimedia.org/math/6/3/2/6329331ff8409a4dff4a08a75e2d22c6.png") pictureList.kif 10558-10558
(externalImage Borrowing "http://upload.wikimedia.org/math/8/8/0/880da8462a8f62af78e5d23d9816c266.png") pictureList.kif 10557-10557
(externalImage Borrowing "http://upload.wikimedia.org/wikipedia/commons/ 0/ 08/ Borrowing_Under_a_Securitization_Structure.gif") pictureList.kif 10550-10550
(externalImage Borrowing "http://upload.wikimedia.org/wikipedia/commons/ 1/ 1d/ No_Debt%2C_No_Trouble.07.JPG") pictureList.kif 10553-10553
(externalImage Borrowing "http://upload.wikimedia.org/wikipedia/commons/ 3/ 35/ Public_debt_percent_gdp_world_map.PNG") pictureList.kif 10554-10554
(externalImage Borrowing "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6a/ Federal_spendings.png") pictureList.kif 10555-10555
(externalImage Borrowing "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9a/ Argentina_national_debt_1994-2004.png") pictureList.kif 10552-10552
(externalImage Borrowing "http://upload.wikimedia.org/wikipedia/commons/ d/ df/ Bureau_of_the_Public_Debt.jpg") pictureList.kif 10556-10556
(externalImage Borrowing "http://upload.wikimedia.org/wikipedia/commons/ e/ ed/ Debt.PNG") pictureList.kif 10551-10551
(subclass Borrowing Getting) Merge.kif 11616-11616

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


(subclass Renting Borrowing) Mid-level-ontology.kif 19898-19898
(termFormat ChineseLanguage Borrowing "借入") chinese_format.kif 1138-1138
(termFormat EnglishLanguage Borrowing "borrowing") english_format.kif 825-825
(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 349-349
(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 tg Borrowing "paghiram") terms-tg.txt 352-352

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

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