dávání (Giving)

The subclass of ChangeOfPossession where the agent gives the destination something.

Ontologie

SUMO / PROCESSES

Nadtřída(y)

entita

fyzický objekt

proces

záměrný proces

sociální interakce

změna vlastnictví

dávání

Podtřída(y)

jednosměrné dávání půjčování

Související termín(y)

braní transakce

Related WordNet synsets

giving, gift: the act of giving
give: transfer possession of something concrete or abstract to somebody; "I gave her my money"; "can you give me lessons?" "She gave the children lots of love and tender loving care"

See more related synsets on a separate page.

Axiomy (3)

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 give je instancí třídy dávání a agent je původcem give, potom give začíná v agent.

(=>
      (and
            (instance ?GIVE Giving)
            (agent ?GIVE ?AGENT))
      (origin ?GIVE ?AGENT))

Jestliže trans je instancí třídy transakce, potom existují agent1,agent2,dávání give1,dávání give2,obj1,obj2 tak, že give1 je a subprocess of trans a give2 je a subprocess of trans a agent1 je původcem give1 a agent2 je původcem give2 a obj1 je účastníkem give1 a obj2 je účastníkem give2 a give1 končí v agent2 a give2 končí v agent1 a agent1 se nerovná agent2 a obj1 se nerovná obj2.

(=>
      (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)))))