Giving concept from the SUMO knowledge base

Next ChangeOfPossession: Transaction Up: ChangeOfPossession Previous ChangeOfPossession: Getting

Kinds of Giving :

Lending (2 facts) - 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)

Next ChangeOfPossession: Transaction Up: ChangeOfPossession Previous ChangeOfPossession: Getting

Giving	*documentation* The subclass of ChangeOfPossession where the agent gives the destination something
	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)))))
	is a kind of ChangeOfPossession
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


Giving
subject			fact