Deductions
- identifier has quality class ⇐ (type of property is a class), (identifier has quality type of property)
- identifier has quality property ⇐ (identifier has quality type), (type has quality property), (has quality is a transitive relation)
- identifier has quality quality ⇐ (identifier has quality type), (type has quality quality), (has quality is a transitive relation)
- identifier has quality criterion ⇐ (identifier has quality type), (type has quality criterion), (has quality is a transitive relation)
- identifier has quality type of property ⇐ (identifier has quality artificiality), (artificiality has quality type of property), (has quality is a transitive relation)
- identifier has quality type ⇐ (identifier has quality artificiality), (artificiality has quality type), (has quality is a transitive relation)
- identifier has quality superclass ⇐ (identifier has quality artificiality), (artificiality has quality superclass), (has quality is a transitive relation)
- identifier has quality taxonomic rank ⇐ (identifier has quality artificiality), (artificiality has quality taxonomic rank), (has quality is a transitive relation)
- Wikidata Q identifier is subclass of identifier ⇐ (Wikidata Q identifier is subclass of unique identifier), (unique identifier is subclass of identifier), (is subclass of is a transitive relation)
- organization identifier is subclass of identifier ⇐ (organization identifier is subclass of agent identifier), (agent identifier is subclass of identifier), (is subclass of is a transitive relation)
- identifier is subclass of entity ⇐ (identifier is subclass of identifying artifact), (identifying artifact is subclass of entity), (is subclass of is a transitive relation)
- identifier is subclass of object ⇐ (identifier is subclass of identifying artifact), (identifying artifact is subclass of object), (is subclass of is a transitive relation)
- identifier is subclass of artificial object ⇐ (identifier is subclass of identifying artifact), (identifying artifact is subclass of artificial object), (is subclass of is a transitive relation)
- agent identifier is subclass of identifier ⇐ (agent identifier is subclass of unique identifier), (unique identifier is subclass of identifier), (is subclass of is a transitive relation)
- unique identifier is subclass of identifier ⇐ (unique identifier is subclass of persistent identifier), (persistent identifier is subclass of identifier), (is subclass of is a transitive relation)
- identifier has quality stability ⇐ (permanence is subclass of stability), (identifier has quality permanence)
- identifier has quality artificiality ⇐ (identifier is subclass of identifying artifact), (identifying artifact has quality artificiality)