"Subcategory of" is a predefined property to define that a category is a subcategory of another and is provided by Semantic MediaWiki. This property is pre-deployed (also known as special property) and comes with additional administrative privileges but can be used just like any other user-defined property.