material product specification

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

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

SubClass Of: design specification

Class Hierarchy

owl:Thing › bfo:entity › bfo:continuant › bfo:generically dependent continuant › information content entity › design specification › material product specification

Definition

A design specification containing the structure, dimension, and other characteristics of a product that satisfies the requirement of a purchase order from a customer.

Semi-Formal Definition:

If x is an ‘design specification’ and there exists a ‘material product’ which x prescribes then x is a ‘material product specification’.

Formal Axioms

First-Order Logic Axioms

MaterialProductSpecification(x) ↔ DesignSpecification(x) ∧ ∃y (prescribes(x, y) ∧ MaterialProduct(y))

Description Logic

constr:MaterialProductSpecification ≡ constr:DesignSpecification ⊓ ∀ constr:prescribes .constr:MaterialProduct

constr:MaterialProductSpecification ⊑ constr:DesignSpecification

constr:DesignSpecification ⊓ ∃ constr:prescribes .constr:MaterialProduct ⊑ constr:MaterialProductSpecification

EquivalentTo: constr:DesignSpecification and constr:prescribes only constr:MaterialProduct

SubClassOf: constr:DesignSpecification

constr:DesignSpecification and constr:prescribes some constr:MaterialProduct SubClassOf: constr:MaterialProductSpecification