plán (Plan)
A specification of a sequence of Processes which
is intended to satisfy a specified purpose at some future time.
Ontologie
SUMO / QUALITIESNadtřída(y)
Související termín(y)
počítačový program
Constrains relations
sub plan
Related WordNet synsets
- plan, program, programme
- a series of steps to be carried out or goals to be accomplished; "they drew up a six-step plan"; "they discussed plans for a new bond issue"
- project, projection
- a planned undertaking
See more related synsets on a separate page.
Axiomy (2)
Jestliže plan je instancí třídy plán a obj je instancí třídy objekt nesoucí informaci a obj contains information plan, potom existuje plánování planning tak, že obj je výsledkem planning.
(=>
(and
(instance ?PLAN Plan)
(instance ?OBJ ContentBearingObject)
(containsInformation ?OBJ ?PLAN))
(exists
(?PLANNING)
(and
(instance ?PLANNING Planning)
(result ?PLANNING ?OBJ))))
Jestliže plan je instancí třídy plán, potom existuje purp tak, že plan has purpose purp.
(=>
(instance ?PLAN Plan)
(exists
(?PURP)
(hasPurpose ?PLAN ?PURP)))