Changes in 🟢 Core Ontology

  • Maturity: 🟢 Released

Added

Classes

Construct Definition
ComplexMaterialState material state whose condition is an aggregated condition composed from the conditions of two or more material states that hold in it
MaterialContainmentCapability capability of a material entity that is grounded in the entity’s physical structure and that can be realized in a process in which the entity holds one or more material entities within a bounded interior, cavity, surface-delimited area, or contained site
MaterialContainmentFunction material containment capability that is a function of a material entity
MaterialStateConditionExpression value expression that, as part of a material state specification, expresses a condition on a characteristic, profile, quality, location, or other relevant feature, to which the material state prescribed by that specification continuously conforms throughout its occurrence
MaterialStateSpecification information content entity that prescribes a material state

Object Properties

Construct Definition
causes relation between a process or event and another process or event that holds when the first has a post material state that is also a pre material state in virtue of which the second is initiated
controls relation between a process profile and a process that holds when the process profile modulates the process and concretizes one or more action specifications as part of a planned process
hasMaterialState relation between a material entity and a material state in which the material entity participates throughout the material states duration
hasPostMaterialState relation between a process or event and a material state that holds when the process or event meets or overlaps the material state, or when the material state finishes the process or event
hasPreMaterialState relation between a process or event and a material state that holds when the material state meets, overlaps, or starts the process or event
isMaterialStateOf relation between a material state and a material entity that participates in that state throughout its duration
materialStateholdsIn relation between two material states that holds when the first material state is one of the states whose condition contributes to the aggregated condition of the second material state, and the first material state at least occurs for the duration of the second material state
modulates relation between a process and another process that holds when the first overlaps the second in time and every state changing temporal part of the first causes some temporal part of the second
hasPostCondition relation between an action specification or plan specification and a material state specification such that every material state prescribed by the material state specification holds in a post-state of every process or event prescribed by the action specification or plan specification
hasPreCondition relation between an Action Specification or Plan Specification and a Material State Specification such that every material state prescribed by the Material State Specification holds in a pre-state of every process or event prescribed by the Action Specification or Plan Specification.

Changed

Classes

Container

  • IRI: https://spec.industrialontologies.org/ontology/construct/Container

Annotations

  • isDefinedBy = “https://spec.industrialontologies.org/ontology/supplychain/SupplyChain/”

  • example = “tank container, ISO 20-foot container, ISO 40-foot container, high cube container, refrigerated container (reefer), open-top container, flat rack container, tank container, dry cargo container, bulk container, pallet-wide container, double-door container, ventilated container, insulated container”

  • explanatoryNote = “Shipping Container (for transport): article of transport equipment, strong enough to be suitable for repeated use and specially designed to facilitate the carriage of goods by one or more means of transport without breakage of load [ISO 21067-1: Packaging — Vocabulary].”

  • firstOrderLogicAxiom = “Container (x) → MaterialArtifact(x)”

  • isPrimitive = “True”

  • naturalLanguageDefinition = “material artifact designed to hold, protect, and facilitate the transport of goods across one or more modes of transportation”@en-US

  • primitiveRationale = “There are insufficient constructs in the ontology to provide necessary and sufficient conditions”

  • semiFormalNaturalLanguageAxiom = “if x is a ‘container’ then x is a ‘material artifcat’”

  • isDefinedBy = “https://spec.industrialontologies.org/ontology/core/Core/”

  • example = “ISO 20-foot freight container; ISO 40-foot freight container; high-cube container; refrigerated container (reefer); open-top container; flat-rack container; tank container; dry-cargo container; bulk container; pallet-wide container; double-door container; ventilated container; insulated container; reusable transport tote; intermediate bulk container; grain silo; warehouse bin; stainless-steel process tank; single-use bioprocess bag; bioreactor vessel; cell-culture flask; media bottle; cryogenic vial; beaker”

  • firstOrderLogicDefinition = “Container(x) ↔ MaterialArtifact(x) ∧ ∃f(MaterialContainmentFunction(f) ∧ hasFunction(x,f))”

  • naturalLanguageDefinition = “material artifact designed to hold one or more material entities within a bounded interior, cavity, surface-delimited area, or contained site”@en-US

  • semiFormalNaturalLanguageDefinition = “every instance of ‘container’ is exactly an instance of ‘material artifact’ that ‘has function’ some ‘material containment function’”

Axioms

  • EquivalentTo: constr:MaterialArtifact and constr:hasFunction some constr:MaterialContainmentFunction

Was Defined By

  • Moved from SupplyChain (https://spec.industrialontologies.org/ontology/supplychain/SupplyChain/) on 2026-07-17T12:41:00

MaterialState

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

Annotations

  • explanatoryNote = “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).

    1. 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.

    2. The term as introduced here is not intended to be used for modeling what we might call the “state of a process” (e.g., equilibrium state for chemical, physical and biological processes or steady-state or discrete or continuous production processes), nor 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). Extensions to the BFO framework as well as further work on ‘process characteristic’ may be first needed to handle these use cases and such specialized state classes will be introduced in a future release.”

  • firstOrderLogicAxiom = “MaterialState(x) → Process(x)”

  • primitiveRationale = “There are insufficient constructs to create necessary and sufficient conditions. Namely, constructs to formalize range,limits and constant values over a period of time are still lacking.”

  • semiFormalNaturalLanguageAxiom = “if x is a ‘material state’ then x is a ‘process’”

  • explanatoryNote = “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).

    1. 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.

    2. 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).”

  • firstOrderLogicAxiom = “LA1: MaterialState(s) → ∃m(MaterialEntity(m) ∧ isMaterialStateOf(s,m))”

  • firstOrderLogicAxiom = “LA2: ∀s,s′,m((isMaterialStateOf(s,m) ∧ occurrentPartOf(s′,s) ∧ Process(s′)) → (MaterialState(s′) ∧ isMaterialStateOf(s′,m)))”

  • primitiveRationale = “Insufficient constructs to create necessary and sufficient conditions.”@en

  • semiFormalNaturalLanguageAxiom = “LA1: if s is a ‘material state’, then s ‘is material state of’ a ‘material entity’”

  • semiFormalNaturalLanguageAxiom = “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”

Axioms

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

  • SubClassOf: constr:isMaterialStateOf some bfo:material_entity

MeasurementProcess

  • IRI: https://spec.industrialontologies.org/ontology/construct/MeasurementProcess

Annotations

  • naturalLanguageDefinition = “planned process to determine the value of an attribute (specifically dependent continuant or temporal region or process characteristic) of an entity of interest”@en-US

  • naturalLanguageDefinition = “planned process to determine the value of an attribute (specifically dependent continuant or temporal region or process characteristic or process profile) of an entity of interest”@en-US

Back to top

Copyright © 2024–2026 Open Applications Group / Industrial Ontology Foundry. Distributed under an MIT license.