class

Deductions

• type of Wikidata property is a class ⇐ (metaclass is subclass of class), (type of Wikidata property is a metaclass)
• -> has quality class ⇐ (type of Wikidata property is subclass of class), (-> has quality type of Wikidata property)
• transitive relation has quality class ⇐ (type of Wikidata property is subclass of class), (transitive relation has quality type of Wikidata property)