SUMO   View all facts   Glossary   Help

Entity > Physical > Process > IntentionalProcess > SocialInteraction > ChangeOfPossession > Giving > Lending

Lending
subject			fact

Lending	documentation 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)
	is a kind of Giving
Giving	has axiom (=> (and (instance ?GET Getting) (agent ?GET ?AGENT1) (origin ?GET ?AGENT2) (instance ?AGENT2 Agent) (patient ?GET ?OBJ)) (exists (?GIVE) (and (instance ?GIVE Giving) (agent ?GIVE ?AGENT2) (destination ?GIVE ?AGENT1) (patient ?GIVE ?OBJ))))
	has axiom (=> (and (instance ?GIVE Giving) (agent ?GIVE ?AGENT1) (destination ?GIVE ?AGENT2) (instance ?AGENT2 Agent) (patient ?GIVE ?OBJ)) (and (holdsDuring (ImmediatePastFn (WhenFn ?GIVE)) (possesses ?AGENT1 ?OBJ)) (holdsDuring (ImmediateFutureFn (WhenFn ?GIVE)) (possesses ?AGENT2 ?OBJ))))
	has axiom (=> (instance ?TRANS Transaction) (exists (?AGENT1 ?AGENT2 ?GIVE1 ?GIVE2 ?OBJ1 ?OBJ2) (and (instance ?GIVE1 Giving) (instance ?GIVE2 Giving) (subProcess ?GIVE1 ?TRANS) (subProcess ?GIVE2 ?TRANS) (agent ?GIVE1 ?AGENT1) (agent ?GIVE2 ?AGENT2) (patient ?GIVE1 ?OBJ1) (patient ?GIVE2 ?OBJ2) (destination ?GIVE1 ?AGENT2) (destination ?GIVE2 ?AGENT1) (not (equal ?AGENT1 ?AGENT2)) (not (equal ?OBJ1 ?OBJ2)))))
ChangeOfPossession	has relatedInternalConcept possesses
IntentionalProcess	is disjoint from NonintentionalProcess
Process	is first domain of agent
	is first domain of capability
	is first domain of causes
	is first domain of destination
	is first domain of direction
	is first domain of effector
	is first domain of experiencer
	is first domain of frequency
	is first domain of hasSkill
	is first domain of holdsObligation
	is first domain of holdsRight
	is first domain of inhibits
	is first domain of instrument
	is first domain of manner
	is first domain of origin
	is first domain of patient
	is first domain of precondition
	is first domain of prevents
	is first domain of realization
	is first domain of resource
	is first domain of result
	is first domain of subProcess
	is second domain of causes
	is second domain of inhibits
	is second domain of precondition
	is second domain of prevents
	is second domain of subProcess

Up: Giving