Property

Types

property $tType

A specific characteristic of a modelet or engine. Multiple things can exhibit the same property.

Example

• color: red
• age: 14 years

Source: properties.tff

Relations

has_value (property>$real)

The value of a certain property.

Source: properties.tff

datatype_of_property (property>datatype)

The datatype of a certain property.

Source: properties.tff

is_property_of_modelet ((property*modelet) >$o)

Check if a modelet is described by a certain property.

Source: properties.tff

is_property_of_engine ((property*engine) >$o)

Check if an engine is described by a certain property.

Source: properties.tff