Permanent link to this class
IOF Supply Chain Reference Ontology
loading...| Preferred Name |
planned process |
| Definitions |
PlannedProcess(x) ↔ Process(x) ∧ ∃s (PlanSpecification(s) ∧ prescribes(s, x)) every instance of 'planned process' is defined as exactly an instance of 'process' that is 'prescribed by' some 'plan specification' |
| ID |
https://spec.industrialontologies.org/ontology/core/Core/PlannedProcess |
| adapted from | |
| counter example |
unexpected failure events; unexpected malfunctioning of a machine; safety occurrence (that lacks explicit plan specifications); |
| definition |
process that is prescribed by a plan specification PlannedProcess(x) ↔ Process(x) ∧ ∃s (PlanSpecification(s) ∧ prescribes(s, x)) every instance of 'planned process' is defined as exactly an instance of 'process' that is 'prescribed by' some 'plan specification' |
| example |
A tire manufacturing process occurs as prescribed by a manufacturing plan specification. |
| explanatory note |
1. 'Planned' is here functioning as a specifier, rather than as a modifier analogous to 'cancelled' or 'averted'. Therefore, to say that a process is planned is not to say that it has not yet taken place. Rather, it is to say that it is (was or will have been) protocol-driven, instruction-driven, command-driven, or software-driven, or in some combination thereof. 2. 'Planned' means 'protocol driven'. Protocols may be written, spoken, or simply thought – as when upon waking up, we plan, for instance, what to eat for breakfast. |
| first order logic definition |
PlannedProcess(x) ↔ Process(x) ∧ ∃s (PlanSpecification(s) ∧ prescribes(s, x)) |
| is defined by | |
| label |
planned process |
| natural language definition |
process that is prescribed by a plan specification |
| note |
process that is prescribed by a plan specification 1. 'Planned' is here functioning as a specifier, rather than as a modifier analogous to 'cancelled' or 'averted'. Therefore, to say that a process is planned is not to say that it has not yet taken place. Rather, it is to say that it is (was or will have been) protocol-driven, instruction-driven, command-driven, or software-driven, or in some combination thereof. 2. 'Planned' means 'protocol driven'. Protocols may be written, spoken, or simply thought – as when upon waking up, we plan, for instance, what to eat for breakfast. A tire manufacturing process occurs as prescribed by a manufacturing plan specification. unexpected failure events; unexpected malfunctioning of a machine; safety occurrence (that lacks explicit plan specifications); PlannedProcess(x) ↔ Process(x) ∧ ∃s (PlanSpecification(s) ∧ prescribes(s, x)) every instance of 'planned process' is defined as exactly an instance of 'process' that is 'prescribed by' some 'plan specification' |
| preferred label |
planned process |
| prefixIRI |
iof-core:PlannedProcess |
| prefLabel |
planned process |
| semi-formal natural language definition |
every instance of 'planned process' is defined as exactly an instance of 'process' that is 'prescribed by' some 'plan specification' |
| source | |
| subClassOf |
| Delete | Subject | Author | Type | Created |
|---|---|---|---|---|
| No notes to display |