spojení (Combining)

A Process where two or more things are combined into a single thing.

Ontologie

SUMO / PROCESSES

Nadtřída(y)

entita

fyzický objekt

proces

proces nad dvěma objekty

spojení

Podtřída(y)

chemická syntéza zvlhčování

Související termín(y)

připojení porovnání odpojení oddělení záměna transakce

Related WordNet synsets

combination, combining, compounding: the act of combining things
combination, combining, combine: an occurrence that results in things being combined
compound, combine: put or add together; "combine resources"
compound, combine: combine so as to form a whole; mix; "compound the ingredients"
combinative, combinatory: marked by or relating to or resulting from combination
combined: made or joined or united into one
noncombinative (opposite): not involving combination

See more related synsets on a separate page.

Axiomy (2)

combine je instancí třídy spojení a obj1 je nástrojem pro combine a obj2 je výsledkem combine tehdy a jen tehdy pokud obj1 není částí obj2 právě před doba existence combine a obj1 je částí obj2 právě po doba existence combine.

(<=>
      (and
            (instance ?COMBINE Combining)
            (resource ?COMBINE ?OBJ1)
            (result ?COMBINE ?OBJ2))
      (and
            (holdsDuring
                  (ImmediatePastFn
                        (WhenFn ?COMBINE))
                  (not
                        (part ?OBJ1 ?OBJ2)))
            (holdsDuring
                  (ImmediateFutureFn
                        (WhenFn ?COMBINE))
                  (part ?OBJ1 ?OBJ2))))

oddělení je disjoint from spojení.

(disjoint Separating Combining)