IOF Core

Last uploaded: October 10, 2023
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

http://purl.obolibrary.org/obo/OBI_0000011

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

https://spec.industrialontologies.org/ontology/core/Core/

label

planned process

natural language definition

process that is prescribed by a plan specification

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'

subClassOf

http://purl.obolibrary.org/obo/BFO_0000015

Delete Subject Author Type Created
No notes to display
Create New Mapping

Portal mappings

Mapping To Ontology Relations Source Type Actions
http://www.industrialontologies.org/ontology/core/Core/PlannedProcess https://data.industryportal.enit.fr/ontologies/PSS LOOM Inter-portal
http://purl.obolibrary.org/obo/OBI_0000011 https://data.industryportal.enit.fr/ontologies/SWO LOOM Inter-portal
http://purl.obolibrary.org/obo/OBI_0000011 https://data.industryportal.enit.fr/ontologies/IAO LOOM Inter-portal
http://purl.obolibrary.org/obo/OBI_0000011 https://data.industryportal.enit.fr/ontologies/ROMAIN LOOM Inter-portal
http://purl.obolibrary.org/obo/OBI_0000011 https://data.industryportal.enit.fr/ontologies/MSDL LOOM Inter-portal
https://github.com/iofoundry/Core/PlannedProcess https://data.industryportal.enit.fr/ontologies/MTO LOOM Inter-portal
https://spec.industrialontologies.org/ontology/core/Core/PlannedProcess https://data.industryportal.enit.fr/ontologies/MTO LOOM Inter-portal
https://spec.industrialontologies.org/ontology/core/Core/PlannedProcess https://data.industryportal.enit.fr/ontologies/MTO SAME_URI Inter-portal
https://spec.industrialontologies.org/ontology/core/Core/PlannedProcess https://data.industryportal.enit.fr/ontologies/IOF-SCRO LOOM Inter-portal
https://spec.industrialontologies.org/ontology/core/Core/PlannedProcess https://data.industryportal.enit.fr/ontologies/IOF-SCRO SAME_URI Inter-portal
https://spec.industrialontologies.org/ontology/core/Core/PlannedProcess https://data.industryportal.enit.fr/ontologies/MMSSO LOOM Inter-portal
https://spec.industrialontologies.org/ontology/core/Core/PlannedProcess https://data.industryportal.enit.fr/ontologies/MMSSO SAME_URI Inter-portal
https://spec.industrialontologies.org/ontology/core/Core/PlannedProcess https://data.industryportal.enit.fr/ontologies/MMSSO LOOM Inter-portal
https://spec.industrialontologies.org/ontology/core/Core/PlannedProcess https://data.industryportal.enit.fr/ontologies/MMSSO SAME_URI Inter-portal
https://spec.industrialontologies.org/ontology/core/Core/PlannedProcess https://data.industryportal.enit.fr/ontologies/MMSSO-TEST2 LOOM Inter-portal
https://spec.industrialontologies.org/ontology/core/Core/PlannedProcess https://data.industryportal.enit.fr/ontologies/MMSSO-TEST2 SAME_URI Inter-portal
https://spec.industrialontologies.org/ontology/core/Core/PlannedProcess https://data.industryportal.enit.fr/ontologies/MMSSO_TEST LOOM Inter-portal
https://spec.industrialontologies.org/ontology/core/Core/PlannedProcess https://data.industryportal.enit.fr/ontologies/MMSSO_TEST SAME_URI Inter-portal
https://spec.industrialontologies.org/ontology/core/Core/PlannedProcess https://data.industryportal.enit.fr/ontologies/MMSSO LOOM Inter-portal
https://spec.industrialontologies.org/ontology/core/Core/PlannedProcess https://data.industryportal.enit.fr/ontologies/MMSSO SAME_URI Inter-portal
https://spec.industrialontologies.org/ontology/core/Core/PlannedProcess https://data.industryportal.enit.fr/ontologies/MTO LOOM Inter-portal
https://spec.industrialontologies.org/ontology/core/Core/PlannedProcess https://data.industryportal.enit.fr/ontologies/MTO SAME_URI Inter-portal
https://spec.industrialontologies.org/ontology/core/Core/PlannedProcess https://data.industryportal.enit.fr/ontologies/FTO LOOM Inter-portal
https://spec.industrialontologies.org/ontology/core/Core/PlannedProcess https://data.industryportal.enit.fr/ontologies/FTO SAME_URI Inter-portal
https://spec.industrialontologies.org/ontology/core/Core/PlannedProcess https://data.industryportal.enit.fr/ontologies/BTO LOOM Inter-portal
https://spec.industrialontologies.org/ontology/core/Core/PlannedProcess https://data.industryportal.enit.fr/ontologies/BTO SAME_URI Inter-portal
https://spec.industrialontologies.org/ontology/core/Core/PlannedProcess https://data.industryportal.enit.fr/ontologies/IOF-MAINTENANCE LOOM Inter-portal
https://spec.industrialontologies.org/ontology/core/Core/PlannedProcess https://data.industryportal.enit.fr/ontologies/IOF-MAINTENANCE SAME_URI Inter-portal
loading ....
loading ....
loading ....
loading ....
loading ....