OntoME

Domain:

F2 Expression

Range:

F3 Manifestation Product Type

Subproperty of:

• F2 Expression → R4 carriers provided by (comprises carriers of) → F3 Manifestation Product Type

Quantification:

0,n:0,n

Scope note:

This property identifies an instance of F3 Manifestation Product Type that has been chosen as the most characteristic Manifestation Product Type of the instance of F2 Expression of which it is a manifestation. Identifying an instance of F3 Manifestation Product Type that is representative for an instance of F2 Expression makes it possible in turn to identify an instance of F2 Expression that is representative for an instance of F1 Work, and to decide what should be regarded as the title of the work. The title of an Expression may not be one taken from a representative Manifestation Product Type or Manifestation Singleton. A given expression can have more than one Representative Manifestation Product Type. R41 has representative manifestation product type is a shortcut of the more developed path F2 Expression R48i was assigned by F41 Representative Manifestation Assignment R49 assigned F3 Manifestation Product Type.

Examples:

No example yet.

In First Order Logic:

• R41(x,y) ⊃ F2(x)
• R41(x,y) ⊃ F3(y)
• R41(x,y) ⊃ R4(x,y)