Deductions
- identifying artifact has quality class ⇐ (abstract entity is a class), (identifying artifact has quality abstract entity)
- class is for example identifying artifact ⇐ (identifying artifact is a class), (is a is inverse of is for example)
- identifying artifact is a class ⇐ (abstract entity is subclass of class), (identifying artifact is a abstract entity)
- identifying artifact has quality abstract entity ⇐ (type is a abstract entity), (identifying artifact has quality type)
- abstract entity is for example identifying artifact ⇐ (identifying artifact is a abstract entity), (is a is inverse of is for example)
- non-persistent identifier is subclass of identifying artifact ⇐ (persistent identifier is subclass of identifying artifact), (persistent identifier is opposite of non-persistent identifier)
- identifying artifact has quality existence ⇐ (identifying artifact has quality entity), (entity has quality existence), (has quality is a transitive relation)
- identifying artifact is a abstract entity ⇐ (metaclass is subclass of abstract entity), (identifying artifact is a metaclass)
- identifying artifact has quality entity ⇐ (taxonomic rank is a entity), (identifying artifact has quality taxonomic rank)
- entity is for example identifying artifact ⇐ (identifying artifact is a entity), (is a is inverse of is for example)
- identifying artifact is a entity ⇐ (metaclass is subclass of entity), (identifying artifact is a metaclass)
- identifying artifact has quality class ⇐ (type of property is a class), (identifying artifact has quality type of property)
- metaclass is for example identifying artifact ⇐ (identifying artifact is a metaclass), (is a is inverse of is for example)
- identifying artifact has quality type of property ⇐ (identifying artifact has quality artificiality), (artificiality has quality type of property), (has quality is a transitive relation)
- identifying artifact has quality type ⇐ (identifying artifact has quality artificiality), (artificiality has quality type), (has quality is a transitive relation)
- identifying artifact has quality superclass ⇐ (identifying artifact has quality artificiality), (artificiality has quality superclass), (has quality is a transitive relation)
- identifying artifact has quality taxonomic rank ⇐ (identifying artifact has quality artificiality), (artificiality has quality taxonomic rank), (has quality is a transitive relation)
- Wikidata Q identifier is subclass of identifying artifact ⇐ (Wikidata Q identifier is subclass of unique identifier), (unique identifier is subclass of identifying artifact), (is subclass of is a transitive relation)
- organization identifier is subclass of identifying artifact ⇐ (organization identifier is subclass of agent identifier), (agent identifier is subclass of identifying artifact), (is subclass of is a transitive relation)
- agent identifier is subclass of identifying artifact ⇐ (agent identifier is subclass of unique identifier), (unique identifier is subclass of identifying artifact), (is subclass of is a transitive relation)
- identifying artifact is subclass of entity ⇐ (identifying artifact is subclass of object), (object is subclass of entity), (is subclass of is a transitive relation)
- identifying artifact is subclass of object ⇐ (identifying artifact is subclass of artificial object), (artificial object is subclass of object), (is subclass of is a transitive relation)
- unique identifier is subclass of identifying artifact ⇐ (unique identifier is subclass of persistent identifier), (persistent identifier is subclass of identifying artifact), (is subclass of is a transitive relation)
- persistent identifier is subclass of identifying artifact ⇐ (persistent identifier is subclass of identifier), (identifier is subclass of identifying artifact), (is subclass of is a transitive relation)
- identifying artifact has quality artificiality ⇐ (identifying artifact is subclass of artificial object), (artificial object has quality artificiality)