has type is a special semantic relation with a built-in meaning: it is used to assign types to attributes.
This property is a special property in this wiki.