Property:Has type

This is a special property which tracks the types of other properties. No property definition is necessary.