vytváření (Creation)
The subclass of Process in which
something is created. Note that the thing created is specified
with the result CaseRole.
Ontologie
SUMO / PROCESSESNadtřída(y)
Podtřída(y)
tvorba
Související termín(y)
biologický proces
chemický proces
poškození
zněna parametru
změna skupenství
změna povrchu
Related WordNet synsets
- devising, fashioning, making
- the act that results in something coming to be; "the devising of plans"; "the fashioning of pots and pans"; "the making of measurements"
See more related synsets on a separate page.
Axiomy (3)
vytváření je internally related to zničení.
(relatedInternalConcept Creation Destruction)
Jestliže action je instancí třídy vytváření, potom existuje result tak, že result je výsledkem action.
(=>
(instance ?ACTION Creation)
(exists
(?RESULT)
(result ?ACTION ?RESULT)))
process je instancí třídy vytváření tehdy a jen tehdy pokud existuje patient tak, že patient je účastníkem process a patient exists during "právě po doba existence process" a patient doesn't exist during "právě před doba existence process".
(<=>
(instance ?PROCESS Creation)
(exists
(?PATIENT)
(and
(patient ?PROCESS ?PATIENT)
(time
?PATIENT
(ImmediateFutureFn
(WhenFn ?PROCESS)))
(not
(time
?PATIENT
(ImmediatePastFn
(WhenFn ?PROCESS)))))))