Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  Magazine

 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

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


(subclass Lending Giving) Merge.kif 12000-12000 Lending is a subclass of giving
(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 12002-12005 Lending is a subclass of giving
(externalImage Lending "http://upload.wikimedia.org/wikipedia/en/7/76/2005private_sector_credit.PNG") pictureList.kif 6667-6667 Lending is a subclass of giving
(externalImage Lending "http://upload.wikimedia.org/wikipedia/commons/0/ 0c/ General_government_net_lending_of_Hungary_2005-2010.png") pictureList.kif 7184-7184 Lending is a subclass of giving
(externalImage Lending "http://upload.wikimedia.org/wikipedia/commons/8/ 8d/ President_Franklin_D._Roosevelt-1941.jpg") pictureList.kif 7185-7185 Lending is a subclass of giving
(externalImage Lending "http://upload.wikimedia.org/wikipedia/commons/4/ 4f/ Credit_cards.jpg") pictureList.kif 7186-7186 Lending is a subclass of giving

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


(termFormat EnglishLanguage Lending "lending") english_format.kif 1491-1491

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


(=>
    (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 12020-12031 If X is an instance of lending, Y is an agent of X, X ends up at Z, and W is a patient of X, then there exists V such that V is an instance of borrowing, Z is an agent of V, V originates at Y, and W is a patient of V

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


(=>
    (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 12007-12018 If X is an instance of borrowing, Y is an agent of X, X originates at Z, and W is a patient of X, then there exists V such that V is an instance of lending, Z is an agent of V, V ends up at Y, and W is a patient of V
(=>
    (lender ?Loan ?Agent)
    (exists (?Lending)
        (and
            (instance ?Lending Lending)
            (agent ?Lending ?Agent))))		 FinancialOntology.kif 1330-1335 If X lends Y, then there exists Z such that Z is an instance of lending and X is an agent of Z


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners