user

Deductions

• concept is for example user ⇐ (user is a concept), (is a is inverse of is for example)
• abstract entity is for example user ⇐ (user is a abstract entity), (is a is inverse of is for example)
• entity is for example user ⇐ (user is a entity), (is a is inverse of is for example)
• user is a entity ⇐ (abstract entity is subclass of entity), (user is a abstract entity)
• user is a abstract entity ⇐ (concept is subclass of abstract entity), (user is a concept)