is material state of

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

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

Type: Object Property

SubProperty Of: bfo:has participant at all times

Domain: material state

Range: bfo:material entity

Inverse Of: has material state

Definition

relation between a material state and a material entity that participates in that state throughout its duration

Semi-Formal Definition:

if s ‘is material state of’ m, then whenever s ‘occupies temporal region’ t, m ‘participates in’ s at t

Formal Axioms

First-Order Logic Definition

∀s,m(isMaterialStateOf(s,m) → ∀t(occupiesTemporalRegion(s,t) → participatesIn(m,s,t)))

Description Logic

constr:isMaterialStateOf ⊑ bfo:has_participant_at_all_times

domain: constr:MaterialState

range: bfo:material_entity

inverse: constr:hasMaterialState

SubPropertyOf: bfo:has_participant_at_all_times

domain: constr:MaterialState

range: bfo:material_entity

inverse: constr:hasMaterialState