braní (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.
Ontologie
SUMO / PROCESSESNadtřída(y)
Podtřída(y)
jednosměrné braní
půjčování si
Související termín(y)
dávání
transakce
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.
Axiomy (2)
Jestliže give je instancí třídy dávání a agent1 je původcem give a give končí v agent2 a agent2 je instancí třídy původce a obj je účastníkem give, potom existuje braní get tak, že agent2 je původcem get a get začíná v agent1 a obj je účastníkem 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))))
Jestliže get je instancí třídy braní a agent je původcem get, potom get končí v agent.
(=>
(and
(instance ?GET Getting)
(agent ?GET ?AGENT))
(destination ?GET ?AGENT))