Dings_Predicate_Has_Field

I am a Dings_Type_Relation_Predicate, that defines a structural Field of a Type.

Description

I define a structural Field (Slot / Attribute / Member) of a Type.

My Form is:

• Has_Field

The MUST be a Dings_Ref_Literal of the Form:

• ["<Field_Name>"](<Field_Type>)

Meaning:

• The “” (my Dings_Ref_Name) is the Field_Name / Slot_Name.
• The (my Dings_Number) is the Field_Type.

Result

Each Dings_Triple …

• <T> <a href="300043007.html">Has_Field</a> ["N"](<F>)

… defines the Field-Slot (T,N) with Field_Type F.

Constraints

• The Subject MUST be a Type.
• The Object MUST be a Dings_Ref_Literal.
• For one Subject-Type the “” MUST be unique.