Borrowing - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Borrowing ChineseLanguage "这是一组 Getting Process 的 subclass，这是在当 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	Borrowing is a subclass of getting

appearance as argument number 2

(subclass Renting Borrowing)	Mid-level-ontology.kif 22705-22705	Renting is a subclass of borrowing
(termFormat ChineseLanguage Borrowing "借入")	chinese_format.kif 1138-1138	Renting is a subclass of borrowing
(termFormat EnglishLanguage Borrowing "borrowing")	english_format.kif 1493-1493	Renting is a subclass of borrowing
(termFormat FrenchLanguage Borrowing "emprunter")	french_format.kif 816-816	Renting is a subclass of borrowing
(termFormat Hindi Borrowing "rina aadaana")	terms-hindi.txt 348-348	Renting is a subclass of borrowing
(termFormat ItalianLanguage Borrowing "PrendereInPrestito")	terms-it.txt 351-351	Renting is a subclass of borrowing
(termFormat JapaneseLanguage Borrowing "借り")	japanese_format.kif 2500-2500	Renting is a subclass of borrowing
(termFormat PortugueseLanguage Borrowing "Tomar Emprestado")	portuguese_format.kif 768-768	Renting is a subclass of borrowing
(termFormat cb Borrowing "paghulos")	terms-cb.txt 353-353	Renting is a subclass of borrowing
(termFormat cz Borrowing "borrowing")	terms-cz.txt 387-387	Renting is a subclass of borrowing
(termFormat ro Borrowing "a lua împrumut")	relations-ro.kif 837-837	Renting is a subclass of borrowing
(termFormat tg Borrowing "paghiram")	terms-tg.txt 352-352	Renting is a subclass of borrowing

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

If a 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,
then 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

(=> (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	If a process is an instance of lending and an agent is an agent of the process and the process ends up at another agent and an entity is a patient of the process, then there exists another process such that the other process is an instance of borrowing and the other agent is an agent of the other process and the other process originates at the agent and the entity is a patient of the other process
(=> (borrower ?Loan ?Agent) (exists (?Borrowing) (and (instance ?Borrowing Borrowing) (agent ?Borrowing ?Agent))))	FinancialOntology.kif 1304-1309	If a loan is the borrower of a cognitive agent, then there exists a process such that the process is an instance of borrowing and the cognitive agent is an agent of the process

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

KB Term:			Term intersection

English Word: