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