Deductions
- connection has part class ⇐ (entity is a class), (connection has part entity)
- connection is subclass of entity ⇐ (isolation is subclass of entity), (isolation is opposite of connection)
- connection has part class ⇐ (abstract entity is a class), (connection has part abstract entity)
- connection has quality class ⇐ (quality is a class), (connection has quality quality)
- connection has quality abstract entity ⇐ (type is a abstract entity), (connection has quality type)
- connection is subclass of process ⇐ (separation is subclass of process), (separation is opposite of connection)
- connection is subclass of entity ⇐ (separation is subclass of entity), (separation is opposite of connection)
- intersection is subclass of connection ⇐ (union is subclass of connection), (union is opposite of intersection)
- connection has quality entity ⇐ (taxonomic rank is a entity), (connection has quality taxonomic rank)
- connection has part type of object ⇐ (abstract entity is a type of object), (connection has part abstract entity)
- connection has quality class ⇐ (type of property is a class), (connection has quality type of property)
- connection has part variable-order class ⇐ (concept is a variable-order class), (connection has part concept)
- connection has part concept ⇐ (metaclass is a concept), (connection has part metaclass)
- connection has part metaclass ⇐ (abstract entity is a metaclass), (connection has part abstract entity)
- connection has part abstract entity ⇐ (interaction is a abstract entity), (connection has part interaction)
- connection has part entity ⇐ (interaction is a entity), (connection has part interaction)
- type of relation is for example connection ⇐ (connection is a type of relation), (is a is inverse of is for example)
- type is for example connection ⇐ (connection is a type), (is a is inverse of is for example)
- separation is opposite of connection ⇐ connection is opposite of separation
- connection has quality superclass ⇐ (connection has quality type of object), (type of object has quality superclass), (has quality is a transitive relation)
- connection has quality property ⇐ (connection has quality type of object), (type of object has quality property), (has quality is a transitive relation)
- connection has quality criterion ⇐ (connection has quality type of object), (type of object has quality criterion), (has quality is a transitive relation)
- connection has quality quality ⇐ (connection has quality type of object), (type of object has quality quality), (has quality is a transitive relation)
- connection has quality type of property ⇐ (connection has quality type of object), (type of object has quality type of property), (has quality is a transitive relation)
- connection has quality taxonomic rank ⇐ (connection has quality type of object), (type of object has quality taxonomic rank), (has quality is a transitive relation)
- connection has quality quality ⇐ (connection has quality type of relation), (type of relation has quality quality), (has quality is a transitive relation)
- connection has quality property ⇐ (connection has quality type of relation), (type of relation has quality property), (has quality is a transitive relation)
- connection has quality criterion ⇐ (connection has quality type of relation), (type of relation has quality criterion), (has quality is a transitive relation)
- connection has quality type ⇐ (connection has quality object), (object has quality type), (has quality is a transitive relation)
- connection has quality existence ⇐ (connection has quality object), (object has quality existence), (has quality is a transitive relation)
- connection has quality type of object ⇐ (connection has quality object), (object has quality type of object), (has quality is a transitive relation)
- connection is subclass of spatio-temporal entity ⇐ (connection is subclass of occurrence), (occurrence is subclass of spatio-temporal entity), (is subclass of is a transitive relation)
- connection is subclass of object ⇐ (connection is subclass of occurrence), (occurrence is subclass of object), (is subclass of is a transitive relation)
- connection is subclass of occurrent ⇐ (connection is subclass of occurrence), (occurrence is subclass of occurrent), (is subclass of is a transitive relation)
- connection is a type ⇐ (type of relation is subclass of type), (connection is a type of relation)
- connection has quality taxonomic rank ⇐ (superclass is a taxonomic rank), (connection has quality superclass)
- connection has quality object ⇐ (spatio-temporal entity is subclass of object), (connection has quality spatio-temporal entity)
- connection has quality spatio-temporal entity ⇐ (temporal entity is subclass of spatio-temporal entity), (connection has quality temporal entity)
- connection has quality type ⇐ (type of relation is subclass of type), (connection has quality type of relation)
- connection has quality temporal entity ⇐ (point in time is subclass of temporal entity), (connection has quality point in time)
- connection has quality point in time ⇐ (connection is subclass of occurrence), (occurrence has quality point in time)
- connection has quality type of relation ⇐ (connection is subclass of relation), (relation has quality type of relation)
- connection has quality superclass ⇐ (connection is subclass of relation), (relation has quality superclass)
- connection has quality type of property ⇐ (connection is subclass of relation), (relation has quality type of property)