Deductions
- meta category criterion is for example Wikidata property usage tracking category ⇐ (Wikidata property usage tracking category is a meta category criterion), (is a is inverse of is for example)
- Wikidata property usage tracking category is subclass of entity ⇐ (Wikidata property usage tracking category is subclass of class), (class is subclass of entity), (is subclass of is a transitive relation)
- Wikidata property usage tracking category is subclass of abstract entity ⇐ (Wikidata property usage tracking category is subclass of Wikimedia category), (Wikimedia category is subclass of abstract entity), (is subclass of is a transitive relation)
- Wikidata property usage tracking category is subclass of class ⇐ (Wikidata property usage tracking category is subclass of Wikimedia category), (Wikimedia category is subclass of class), (is subclass of is a transitive relation)
- Wikidata property usage tracking category is subclass of Wikimedia category ⇐ (Wikidata property usage tracking category is subclass of Wikimedia administration category), (Wikimedia administration category is subclass of Wikimedia category), (is subclass of is a transitive relation)
- Wikidata property usage tracking category is subclass of list ⇐ (Wikidata property usage tracking category is subclass of Wikimedia administration category), (Wikimedia administration category is subclass of list), (is subclass of is a transitive relation)