Zvolte jazyk: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Koncept:
Anglické slovo:
Hlavní stránka

plán (Plan)

A specification of a sequence of Processes which is intended to satisfy a specified purpose at some future time.

Ontologie

SUMO / QUALITIES

Nadtřída(y)

[tree]
entita
is subclass of
  abstraktum  
is subclass of
  výrok  
is subclass of
  procedura  
is subclass of
  plán  

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"
plan is kind of (all)...   plan is kind of...   kinds of plan...   kinds of plan (all)...  
project, projection
a planned undertaking
project is kind of (all)...   project is kind of...   kinds of project...   kinds of project (all)...  
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)))