Permanent link to this class
IOF Supply Chain Reference Ontology
loading...| Preferred Name |
plan specification |
| Synonyms |
process design process specification |
| Definitions |
information content entity that has action specifications and objective specifications as parts |
| ID |
https://spec.industrialontologies.org/ontology/core/Core/PlanSpecification |
| adapted from | |
| alternative label |
process design process specification |
| definition |
information content entity that has action specifications and objective specifications as parts |
| example |
a manufacturer's sales plan; process plan for producing a part; a schedule for routine maintenance and inspection of a machine; a work order to build 100 of a particular kind component for today. |
| explanatory note |
When concretized, plan specification may be realized in a process where participants take the prescribed actions to achieve the prescribed process objectives. In other words, a plan specification is concretized in a 'planned process' that it 'prescribes' |
| first-order logic axiom |
InformationContentEntity(x) ∧ ∃a, ∃o,∃p(ActionSpecification(a) ∧ ObjectiveSpecification(o) ∧ PlannedProcess(p) ∧ continuantPartOfAtAllTimes(a,x) ∧ continuantPartOfAtAllTimes(o,x) ∧ prescribes(x,p)) → PlanSpecification(x) |
| has continuant part at all times |
https://spec.industrialontologies.org/ontology/core/Core/ObjectiveSpecification https://spec.industrialontologies.org/ontology/core/Core/ActionSpecification |
| is defined by | |
| is primitive |
true |
| label |
plan specification |
| natural language definition |
information content entity that has action specifications and objective specifications as parts |
| note |
InformationContentEntity(x) ∧ ∃a, ∃o,∃p(ActionSpecification(a) ∧ ObjectiveSpecification(o) ∧ PlannedProcess(p) ∧ continuantPartOfAtAllTimes(a,x) ∧ continuantPartOfAtAllTimes(o,x) ∧ prescribes(x,p)) → PlanSpecification(x) See the general discussion and rationale provided for informational entities under 'information content entity'. When concretized, plan specification may be realized in a process where participants take the prescribed actions to achieve the prescribed process objectives. In other words, a plan specification is concretized in a 'planned process' that it 'prescribes' information content entity that has action specifications and objective specifications as parts if x is an 'information content entity' that 'prescribes' some 'planned process' and x 'has continuant part at all times' some 'action specification' and some 'objective specification' then x is a 'plan specification' a manufacturer's sales plan; process plan for producing a part; a schedule for routine maintenance and inspection of a machine; a work order to build 100 of a particular kind component for today. |
| preferred label |
plan specification |
| prefixIRI |
iof-core:PlanSpecification |
| prefLabel |
plan specification |
| primitive rationale |
See the general discussion and rationale provided for informational entities under 'information content entity'. |
| semi-formal natural language axiom |
if x is an 'information content entity' that 'prescribes' some 'planned process' and x 'has continuant part at all times' some 'action specification' and some 'objective specification' then x is a 'plan specification' |
| source | |
| synonym |
process design process specification |
| subClassOf |
https://spec.industrialontologies.org/ontology/core/Core/InformationContentEntity |
| Delete | Subject | Author | Type | Created |
|---|---|---|---|---|
| No notes to display |