Since it appears that the creation of subproperty of went unnoticed by many, I'd like to describe an important aspect of its proper use, and how that relates to classification.
Please note that instance of (P31) and subclass of (P279) are not valid values for subproperty of (P1647) claims, as described in the P1647 documentation [1]. For example, claims like "occupation subproperty of instance of" are invalid. The reasons for this are both technical and architectural.
On the technical side, instance of, subclass of and subproperty of are intended to be straightforwardly exportable as rdf:type, rdfs:subClassOf and rdfs:subPropertyOf. As described in On the Properties of Metamodeling in OWL [2], claims that use OWL's built-in vocabulary (e.g. rdf:type) as individuals make an ontology undecidable. If an ontology is undecidable, then queries are not guaranteed to terminate. This is a big deal. Decidability is a main goal of OWL 2 DL and a requirement in the more specialized profiles OWL 2 EL, OWL 2 RL and OWL 2 QL. Most Semantic Web ontologies aim to valid be in at least OWL 2 DL. So if Wikidata aims to be easily interoperable with the rest of the Semantic Web, we should aim to be valid in OWL 2 DL, and thus not make claims of the form "P subproperty of instance of (P31)" or "P subproperty of subclass of (P279)".
Avoiding such claims is also good design. There should be one -- and preferably only one -- obvious way to specify the type of an instance. Having a multitude of domain-specific "type" subproperties would promote an anti-pattern: using instance of as a catch-all property to make any statement under the sun that makes sense when connected with the phrase "is a".
Having a single "type" property for instances also fosters another best practice in Wikidata: asserted monohierarchy [3]. In other words, there should be only one explicit normal or preferred instance of or subclass of claim per item. Having an instance of claim and a subclass of claim on an item isn't necessarily bad (it's called "punning"), but having multiple instance of claims or multiple subclass of claims on an item is a bad smell. Items can typically satisfy a huge number of instance of claims, but should generally have only one such claim made explicitly in Wikidata.