material state specification

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

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

SubClass Of: information content entity

Class Hierarchy

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

Direct subclasses:

material release disposition specification

Definition

information content entity that prescribes a material state

Examples

a refrigerated condition specification that specifies that a material is in a refrigerated state when it is located in a refrigerator and its temperature is between 2 °C and 8 °C; a frozen condition specification that specifies that a material is in a frozen state when its aggregate state is solid and its temperature is below the applicable freezing temperature; a sterile condition specification that specifies that a material is in a sterile state when it contains no viable microorganisms; a clamped-workpiece condition specification that specifies that a workpiece is in a clamped state when it is seated against the required datum surfaces and held by the clamps; a machine-ready condition specification that specifies that a machine is in a ready state when the safety door is closed, the workpiece is secured, and the required utilities are available

Primitive Class

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

Primitive Rationale

See the general discussion and rationale provided for informational entities under ‘information content entity’.

Formal Axioms

First-Order Logic Axioms

LA1: MaterialStateSpecification(sp) → ∀s(prescribes(sp,s)→MaterialState(s))

LA2: InformationContentEntity(d) ∧ MaterialState(x) ∧ prescribes(d,x)) → MaterialStateSpecification(d))

Semi-Formal Natural Language Axioms

LA1: if d is a ‘material state specification’ and d ‘prescribes’ x, then x is a ‘material state’

LA2: if d is an ‘information content entity’ that ‘prescribes’ some ‘material state’, then d is a ‘material state specification’