Value-of [datatype], (some [datatype] value)

Value-of [datatype] and (some [datatype] value) keywords refer to a value of a given (user defined) data type. By combining with data property axioms, user-defined data-types can be created.

Examples

The example shows how to define a new type of data.

Example: Here, lower-than-4-number is a data type that has value lower than 4.
Every cat has-size (some lower-than-4-number value).
Every value-of lower-than-4-number is something lower-than 4.