getting (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.
Ontology
SUMO / PROCESSESSuperclass(es)
Subclass(es)
unilateral getting
borrowing
Coordinate term(s)
giving
transaction
Related WordNet synsets
- get, acquire
- come into the possession of something concrete or abstract; "She got a lot of paintings from her uncle"; "They acquired a new pet"; "Get your results the next day"; "Get permission to take a few days off from work"
See more related synsets on a separate page.
Axioms (2)
If give is an instance of giving and give is an agent of agent1 and give ends at agent2 and agent2 is an instance of agent and obj is a patient of give, then there exists getting get so that get is an agent of agent2 and get origins at agent1 and obj is a patient of get.
(=>
(and
(instance ?GIVE Giving)
(agent ?GIVE ?AGENT1)
(destination ?GIVE ?AGENT2)
(instance ?AGENT2 Agent)
(patient ?GIVE ?OBJ))
(exists
(?GET)
(and
(instance ?GET Getting)
(agent ?GET ?AGENT2)
(origin ?GET ?AGENT1)
(patient ?GET ?OBJ))))
If get is an instance of getting and get is an agent of agent, then get ends at agent.
(=>
(and
(instance ?GET Getting)
(agent ?GET ?AGENT))
(destination ?GET ?AGENT))