Select language: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Concept:
English word:
Home

Programma (Plan)

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

Ontology

SUMO / QUALITIES

Superclass(es)

[tree]
Entitá
is subclass of
  Astratto  
is subclass of
  Proposizione  
is subclass of
  Procedura  
is subclass of
  Programma  

Coordinate term(s)

ProgrammaDiComputer 

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.

Axioms (2)

Se plan é un' istanza di Programma e obj é un' istanza di OggettoSemiotico e obj contienes informazione plan, allora esiste Pianificazione planning tale che obj é un risultato di planning.
(=>
      (and
            (instance ?PLAN Plan)
            (instance ?OBJ ContentBearingObject)
            (containsInformation ?OBJ ?PLAN))
      (exists
            (?PLANNING)
            (and
                  (instance ?PLANNING Planning)
                  (result ?PLANNING ?OBJ))))

Se plan é un' istanza di Programma, allora esiste purp tale che plan ha scopo purp.
(=>
      (instance ?PLAN Plan)
      (exists
            (?PURP)
            (hasPurpose ?PLAN ?PURP)))