ThisIsAStream

Description

A stream is declared by specializing it from the ClassOfArrangedIndividual jord:Stream from the JORD-RDL. Its entity type is set to be edm:class_of_stream.

Definition

A stream (x1) is marked as such.

ThisIsAStream(x1) <->
    edm:ClassOfStream(x1) &
    ClassOfActivity(x1) &
    exists jord:ProjecT(
        ClassOfArrangedIndividual(jord:Stream) &
        MMT:SpecializationOfClassOfIndividual(x1, jord:Stream)) .

Roles

1. hasThis

Restrictions

One of:

• Role filler of hasThis must have entity type EdmClassOfStream.
• Role filler of hasThis must have entity type ClassOfActivity.