Dings_Predicate_Subject_Of_Type

I am a Dings_Predicate, that defines the allowed Type of the Subject for a given Predicate.

Format

• [<Predicate>](<Dings_Number>) <a href="300043049.html">Subject_Of_Type</a> [<Type>](<Dings_Number>)

Meaning

• If a Predicate P has P Subject_Of_Type T, then every Triple using P must have a Subject that is an Instance of T (directly or indirectly).

Notes

This is the human-readable Equivalent of the classical “Domain” Concept. We document the Equivalence in Text only, not as a Formal-Axiom.