ChangeOfPossession Comparison Table

Entity > Physical > Process > IntentionalProcess > SocialInteraction > ChangeOfPossession

Next SocialInteraction: Communication Up: SocialInteraction Previous SocialInteraction: Pretending

ChangeOfPossession comparison table

Subject documentation have axiom

Getting The subclass of ChangeOfPossession where the agent gets something. Note that the source from which something is obtained is specified with the origin CaseRole
(=>
(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))))

Giving The subclass of ChangeOfPossession where the agent gives the destination something
(=>
(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)))))

Transaction The subclass of ChangeOfPossession where something is exchanged for something else
(=>
(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)))))

Subject	documentation	have axiom
Getting	The subclass of ChangeOfPossession where the agent gets something. Note that the source from which something is obtained is specified with the origin CaseRole	(=> (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))))
Giving	The subclass of ChangeOfPossession where the agent gives the destination something	(=> (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)))))
Transaction	The subclass of ChangeOfPossession where something is exchanged for something else	(=> (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)))))

Next SocialInteraction: Communication Up: SocialInteraction Previous SocialInteraction: Pretending