material use process

IRI: https://spec.industrialontologies.org/ontology/construct/MaterialUseProcess

Defined In: https://spec.industrialontologies.org/ontology/biopharma/ReferenceOntologyCandidates/

SubClass Of: planned process

Class Hierarchy

owl:Thing › bfo:entity › bfo:occurrent › bfo:process › planned process › material use process

Definition

planned process that is a part of a material entity lifecyle and which starts with a realization of the capability of that material entity

Examples

• When a customer drives a car off from the dealership after purchasing the car, a material use process has started. A container/lot of a chemical may be considered used when the seal is opened or when the first portion is taken out from the container. The portion taken out from the container is also subjected to another material use process.

Primitive Class

This class is declared primitive and it does not have necessary and sufficient condiftions defined.

Primitive Rationale

This term is expected to remain primitive because different kinds of material entities, use processes, and business practices may have different definitions of when a material use process starts.

Formal Axioms

First-Order Logic Axioms

MaterialUseProcess(x) → PlannedProcess(x) ∧ ∃m∃p∃c(MaterialEntity(m) ∧ PlannedProcess(p) ∧ Capability(c) ∧ specificallyDependsOn(c, m) ∧ hasParticipantAtAllTimes(x, m) ∧ hasOccurrentPart(x, p) ∧ temporallyStartedBy(x, p) ∧ realizes(p, c))

Semi-Formal Natural Language Axioms

If x is a ‘material use process’, then x is a ‘planned process’ that ‘has participant at all times’ some ‘material entity’ m, and ‘has as occurrent part’ some ‘planned process’ p that both ‘temporally starts’ x and ‘realizes’ a ‘capability’ c that ‘specifically depends on’ m

Description Logic

constr:MaterialUseProcess ⊑ constr:PlannedProcess

constr:MaterialUseProcess ⊑ ∃ bfo:has_occurrent_part .(constr:PlannedProcess ⊓ ∃ bfo:realizes .(constr:Capability ⊓ ∃ bfo:specifically_depends_on .bfo:material_entity))

constr:MaterialUseProcess ⊑ ∃ bfo:has_participant_at_all_times .bfo:material_entity

constr:MaterialUseProcess ⊑ ∃ constr:temporallyStartedBy .(constr:PlannedProcess ⊓ ∃ bfo:realizes .(constr:Capability ⊓ ∃ bfo:specifically_depends_on .bfo:material_entity))

SubClassOf: constr:PlannedProcess

SubClassOf: bfo:has_occurrent_part some (constr:PlannedProcess and bfo:realizes some (constr:Capability and bfo:specifically_depends_on some bfo:material_entity))

SubClassOf: bfo:has_participant_at_all_times some bfo:material_entity

SubClassOf: constr:temporallyStartedBy some (constr:PlannedProcess and bfo:realizes some (constr:Capability and bfo:specifically_depends_on some bfo:material_entity))