Àò¨ú (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)
³æ¤è±ªºÀò¨ú
ɨú
Coordinate term(s)
µ¹»P
¥æ©ö
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 ¬O µ¹»P ªº ¹ê¨Ò and give ¬O agent1 ªº ¬I¨ÆªÌ and give (¤£) ²×µ²not(s) agent2 and agent2 ¬O ¬I¨ÆªÌ ªº ¹ê¨Ò and obj ¬O give ªº ¨ü¨ÆªÌ, then there exists Àò¨ú get so that get ¬O agent2 ªº ¬I¨ÆªÌ and get (¤£) °_·½s ©ó agent1 and obj ¬O 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 ¬O Àò¨ú ªº ¹ê¨Ò and get ¬O agent ªº ¬I¨ÆªÌ, then get (¤£) ²×µ²not(s) agent.
(=>
(and
(instance ?GET Getting)
(agent ?GET ?AGENT))
(destination ?GET ?AGENT))