Deductions
- agent identifier has quality superclass ⇐ (agent identifier has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
- agent identifier has quality class ⇐ (abstract entity is a class), (agent identifier has quality abstract entity)
- agent identifier has quality superclass ⇐ (agent identifier has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
- agent identifier has quality taxonomic rank ⇐ (agent identifier has quality abstract entity), (abstract entity has quality taxonomic rank), (has quality is a transitive relation)
- agent identifier has quality abstract entity ⇐ (type is a abstract entity), (agent identifier has quality type)
- agent identifier has quality entity ⇐ (type is a entity), (agent identifier has quality type)
- agent identifier has quality existence ⇐ (agent identifier is subclass of object), (object has quality existence)
- agent identifier has quality type ⇐ (agent identifier is subclass of object), (object has quality type)
- agent identifier has quality type of object ⇐ (agent identifier is subclass of object), (object has quality type of object)
- agent identifier is for example Norwegian organization number ⇐ (Norwegian organization number is a agent identifier), (is a is inverse of is for example)
- agent identifier is subclass of entity ⇐ (agent identifier is subclass of identifying artifact), (identifying artifact is subclass of entity), (is subclass of is a transitive relation)
- agent identifier is subclass of object ⇐ (agent identifier is subclass of identifying artifact), (identifying artifact is subclass of object), (is subclass of is a transitive relation)
- agent identifier is subclass of artificial object ⇐ (agent 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 persistent identifier ⇐ (agent identifier is subclass of unique identifier), (unique identifier is subclass of persistent identifier), (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)
- 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)
- Norwegian organization number is a agent identifier ⇐ (organization identifier is subclass of agent identifier), (Norwegian organization number is a organization identifier)