Programma (Plan)
A specification of a sequence of Processes which
is intended to satisfy a specified purpose at some future time.
Ontology
SUMO / QUALITIESSuperclass(es)
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"
- project, projection
- a planned undertaking
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)))