material state condition expression
IRI: https://spec.industrialontologies.org/ontology/construct/MaterialStateConditionExpression
Defined In: https://spec.industrialontologies.org/ontology/core/Core/
SubClass Of: value expression
Class Hierarchy
owl:Thing › bfo:entity › bfo:continuant › bfo:generically dependent continuant › information content entity › value expression › material state condition expression
Definition
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
Explanatory Notes
A material state condition expression expresses one aspect of the condition specified by a material state specification. Multiple material state condition expressions may be parts of the same material state specification. For example, a refrigerated condition specification may contain one expression specifying that the material is located in a refrigerator and another specifying that its temperature is between 2 °C and 8 °C.
Examples
- the expression specifying that a material is located in a refrigerator as part of a refrigerated condition specification; the expression specifying that the temperature of the material is between 2 °C and 8 °C as part of the same refrigerated condition specification;
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: MaterialStateConditionExpression(x) → ValueExpression(x) ∧ ∃y(MaterialStateSpecification(y) ∧ continuantPartOfAtAllTimes(x,y))
LA2: MaterialStateConditionExpression(x) ∧ isValueExpressionOfAtSomeTime(x,y) → SpecificallyDependentContinuant(y) ∨ GenericallyDependentContinuant(y) ∨ ProcessProfile(y) ∨ ProcessCharacteristic(y)
LA3: MaterialStateConditionExpression(x) ∧ hasContinuantPartAtSomeTime(x,y) → ¬MaterialStateConditionExpression(y)
LA4: ValueExpression(x) ∧ ∃y(MaterialStateSpecification(y) ∧ continuantPartOfAtAllTimes(x,y)) ∧ ∃z((SpecificallyDependentContinuant(z) ∨ GenericallyDependentContinuant(z) ∨ ProcessProfile(z) ∨ ProcessCharacteristic(z)) ∧ isValueExpressionOfAtAllTimes(x,z)) → MaterialStateConditionExpression(x)
Semi-Formal Natural Language Axioms
LA1: if x is a ‘material state condition expression’ then x is a ‘value expression’ that is ‘continuant part of at all times’ some ‘material state specification’
LA2: if x is a ‘material state condition expression’ and x ‘is value expression of at some time’ y then y is a ‘specifically dependent continuant’, ‘generically dependent continuant’, ‘process profile’, or ‘process characteristic’
LA3: if x is a ‘material state condition expression’ and x ‘has continuant part at some time’ y then y is not a ‘material state condition expression’
LA4: if x is a ‘value expression’ that is ‘continuant part of at all times’ some ‘material state specification’ and ‘is value expression of at all times’ some ‘specifically dependent continuant’ or ‘generically dependent continuant’ or ‘process profile’ or ‘process characteristic’ then x is a ‘material state condition expression’
Description Logic
constr:MaterialStateConditionExpression ⊑ constr:ValueExpression
constr:MaterialStateConditionExpression ⊑ ∀ bfo:has_continuant_part_at_some_time .¬ constr:MaterialStateConditionExpression
constr:MaterialStateConditionExpression ⊑ ∀ constr:isValueExpressionOfAtSomeTime .(bfo:specifically_dependent_continuant ⊔ bfo:generically_dependent_continuant ⊔ bfo:process_profile ⊔ constr:ProcessCharacteristic)
constr:MaterialStateConditionExpression ⊑ ∃ bfo:continuant_part_of_at_all_times .constr:MaterialStateSpecification
constr:ValueExpression ⊓ ∃ bfo:continuant_part_of_at_all_times .constr:MaterialStateSpecification ⊓ ∃ constr:isValueExpressionOfAtAllTimes .(bfo:specifically_dependent_continuant ⊔ bfo:generically_dependent_continuant ⊔ bfo:process_profile ⊔ constr:ProcessCharacteristic) ⊑ constr:MaterialStateConditionExpression
constr:MaterialStateConditionExpression ⊓ constr:MaterialStateSpecification ⊑ ⊥
SubClassOf: constr:ValueExpression
SubClassOf: bfo:has_continuant_part_at_some_time only not constr:MaterialStateConditionExpression
SubClassOf: constr:isValueExpressionOfAtSomeTime only (bfo:specifically_dependent_continuant or bfo:generically_dependent_continuant or bfo:process_profile or constr:ProcessCharacteristic)
SubClassOf: bfo:continuant_part_of_at_all_times some constr:MaterialStateSpecification
constr:ValueExpression and bfo:continuant_part_of_at_all_times some constr:MaterialStateSpecification and constr:isValueExpressionOfAtAllTimes some (bfo:specifically_dependent_continuant or bfo:generically_dependent_continuant or bfo:process_profile or constr:ProcessCharacteristic) SubClassOf: constr:MaterialStateConditionExpression
constr:MaterialStateConditionExpression DisjointWith: constr:MaterialStateSpecification