Dings_Predicate_Object_Of_Type

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

Format

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

Meaning

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

Notes

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