plánování (Planning)

planning: an act of formulating a program for a definite course of action; "the planning was more fun than the trip itself"
planning, preparation, provision: the cognitive process of thinking about what you will do in the event of something happening; "his planning for retirement was hindered by several uncertainties"
plan: make plans for something; "He is planning a trip with his family"

See more related synsets on a separate page.

Axiomy (2)

Jestliže lang je instancí třídy umělý lidský jazyk, potom existuje plánování plan tak, že lang je výsledkem plan.

(=>
      (instance ?LANG ConstructedLanguage)
      (exists
            (?PLAN)
            (and
                  (instance ?PLAN Planning)
                  (result ?PLAN ?LANG))))

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