temporal instant value expression

IRI: https://spec.industrialontologies.org/ontology/core/Core/TemporalInstantValueExpression

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

SubClass Of: value expression

Class Hierarchy

owl:Thing › bfo:BFO_0000031 › information content entity › value expression › temporal instant value expression

Examples

• The time instant at which a train arrives at a station has its clock time expressed by a temporal instant value expression.

Description Logic

:TemporalInstantValueExpression](TemporalInstantValueExpression.html) ≡ [:ValueExpression ⊓ ∃ _:isValueExpressionOfAtAllTimes .⊥

:TemporalInstantValueExpression](TemporalInstantValueExpression.html) ⊑ [:ValueExpression

:TemporalInstantValueExpression](TemporalInstantValueExpression.html) ⊓ [:TemporalDurationValueExpression ⊑ ⊥

EquivalentTo: _:ValueExpression and _:isValueExpressionOfAtAllTimes some owl:Nothing

SubClassOf: _:ValueExpression

:TemporalInstantValueExpression](TemporalInstantValueExpression.html) DisjointWith: [:TemporalDurationValueExpression