material state

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

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

SubClass Of: bfo:process

Class Hierarchy

owl:Thing › bfo:entity › bfo:occurrent › bfo:process › material state

Direct subclasses:

• complex material state
• expired state
• harmed state
• maintenance state
• material hold state
• shipment state
• solution saturation state
• spent culture medium state
• sterile material state

Definition

process in which a material entity that participates in the process has a condition that remains unchanged

Explanatory Notes

1. Although the notion of “particular condition”; has not been introduced in this release, the IOF’s approach will be to model this as a dependent entity such that at any timeframe during which it exists, it depends on some material entity – meaning a material state will necessarily “be focused on” a particular condition of some material entity for which the state is ascribed. Condition here would encompass BFO: specifically-dependent continuants (qualities, dispositions and other realizable entities types) as well as site (the absolute or relative location of a material entity). In the future, the coverage will be expanded to include some currently “missing dependent entity types”; including orientation, and cases wherein a material entity is in a particular condition because it has or is in particular composition or configuration (e.g. the setup action of a machine and jig is complete and it is not in a setup/ready-for-run state).

2. Unchanging, is intended to encompass not just having a particular condition for the duration of the state, but potentially being value-bound to some constant or even within a given range as prescribed by some design or requirement specification. Specialized sub-types may be introduced to handle such value-based constant and range-bound states and conditions.

3. The term as introduced here is not intended to be used for for modeling the states of non-real entities (e.g., virtual entities participating in virtual simulation program and any other informational or abstract entities, when they are considered to be in a particular condition).

Examples

• the lightswitch in the off state from 9 PM to 8 AM; the machine in fail state from 4 PM to 5 PM; perfusion bioreactor was run in steady state for two days, a truck is in a stop state because its position has been unchanged

Synonyms

• stasis

Adapted From

• Oxford Languages, term by the name ‘state’

Primitive Class

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

Primitive Rationale

Insufficient constructs to create necessary and sufficient conditions.

Formal Axioms

First-Order Logic Axioms

LA1: MaterialState(s) → ∃m(MaterialEntity(m) ∧ isMaterialStateOf(s,m))

LA2: ∀s,s′,m((isMaterialStateOf(s,m) ∧ occurrentPartOf(s′,s) ∧ Process(s′)) → (MaterialState(s′) ∧ isMaterialStateOf(s′,m)))

Semi-Formal Natural Language Axioms

LA1: if s is a ‘material state’, then s ‘is material state of’ a ‘material entity’

LA2: if s ‘is material state of’ m and s’ is an ‘occurrent part of’ s that is a ‘process’ then s’ is a ‘material state’ that ‘is material state of’ m

Description Logic

constr:MaterialState ⊑ bfo:process

constr:MaterialState ⊑ ∀ bfo:has_occurrent_part .(bfo:process_boundary ⊔ constr:MaterialState)

constr:MaterialState ⊑ ∃ constr:isMaterialStateOf .bfo:material_entity

SubClassOf: bfo:process

SubClassOf: bfo:has_occurrent_part only (bfo:process_boundary or constr:MaterialState)

SubClassOf: constr:isMaterialStateOf some bfo:material_entity