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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Lending
Lending(lending)
auto_loan, automobile_loan, bank_loan, call_loan, car_loan, consumer_loan, demand_loan, direct_loan, give, lend, lending, loan, loan_participation, loaning, mortgage_loan, participation_financing, participation_loan, personal_loan, real_estate_loan, time_loan, usury, 借出, 貸し

VerbNet: give-13.1|give, give-13.1|loan, give-13.1|loan,


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


(documentation Lending ChineseLanguage "这是 Giving Processsubclass,这是在当 agent 在一段有限的时间内给 destination 一些东西,并预期东西稍后会被归还(也许会加上利息)。") chinese_format.kif 3082-3083
(documentation Lending EnglishLanguage "The subclass of Giving Processes where the agent gives the destination something for a limited period of time with the expectation that it will be returned later (perhaps with interest).") Merge.kif 10825-10828
(externalImage Lending "http://upload.wikimedia.org/wikipedia/commons/0/ 0c/ General_government_net_lending_of_Hungary_2005-2010.png") pictureList.kif 7187-7187 "http://upload.wikimedia.org/wikipedia/commons/0/0c/ General_government_net_lending_of_Hungary_2005-2010.png" is a URL depicting lending
(externalImage Lending "http://upload.wikimedia.org/wikipedia/commons/4/ 4f/ Credit-cards.jpg") pictureList.kif 7189-7189 "http://upload.wikimedia.org/wikipedia/commons/4/4f/ Credit-cards.jpg" is a URL depicting lending
(externalImage Lending "http://upload.wikimedia.org/wikipedia/commons/8/ 8d/ President_Franklin_D._Roosevelt-1941.jpg") pictureList.kif 7188-7188 "http://upload.wikimedia.org/wikipedia/commons/8/8d/ President_Franklin_D._Roosevelt-1941.jpg" is a URL depicting lending
(externalImage Lending "http://upload.wikimedia.org/wikipedia/en/7/76/2005private_sector_credit.PNG") pictureList.kif 6669-6669 "http://upload.wikimedia.org/wikipedia/en/7/76/2005private_sector_credit.PNG" is a URL depicting lending
(subclass Lending Giving) Merge.kif 10823-10823 Lending is a subclass of giving

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


(termFormat ChineseLanguage Lending "借出") chinese_format.kif 1135-1135 "借出" is the printable form of lending in ChineseLanguage
(termFormat EnglishLanguage Lending "lending") english_format.kif 1492-1492 "lending" is the printable form of lending in english language

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


(<=>
    (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 10830-10842 There exists a process such that the 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 if and only if 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
(=>
    (lender ?Loan ?Agent)
    (exists (?Lending)
        (and
            (instance ?Lending Lending)
            (agent ?Lending ?Agent))))
FinancialOntology.kif 1232-1237


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