inspection plan

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

Defined In: https://spec.industrialontologies.org/ontology/productionplanning/ProductionPlanning/

SubClass Of: plan specification

Class Hierarchy

owl:Thing › bfo:entity › bfo:continuant › bfo:generically dependent continuant › information content entity › plan specification › inspection plan

Definition

Set of instructions specifying the process of verification including appropriate resources and sequence of inspections to be referenced by the manufacturing plan.

Direct Source

• ISO/ASTM 52900:2021 (3.3.13)

Primitive Class

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

Primitive Rationale

See the rationale provided under information content entity for informational entity types.

Formal Axioms

First-Order Logic Axioms

∀x ( (PlanSpecification(x) ∧ ∃y (prescribes(x, y) ∧ ProductInspectionProcess(y))) → InspectionPlan(x) )

Semi-Formal Natural Language Axioms

every instance of ‘inspection plan’ is defined as exactly an instance of ‘plan specification’ that ‘prescribes’ some ‘product inspection process’

Description Logic

constr:InspectionPlan ⊑ constr:PlanSpecification

constr:PlanSpecification ⊓ ∃ constr:prescribes .constr:ProductInspectionProcess ⊑ constr:InspectionPlan

SubClassOf: constr:PlanSpecification

constr:PlanSpecification and constr:prescribes some constr:ProductInspectionProcess SubClassOf: constr:InspectionPlan