union

Deductions

• union has quality mathematical object ⇐ (union is subclass of subset), (subset has quality mathematical object)
• union has quality arity ⇐ (union is subclass of subset), (subset has quality arity)
• union has quality number of entities ⇐ (union is subclass of subset), (subset has quality number of entities)
• union has quality type of object ⇐ (union is subclass of object), (object has quality type of object)
• union is subclass of object ⇐ (union is subclass of occurrence), (occurrence is subclass of object), (is subclass of is a transitive relation)
• union is subclass of occurrence ⇐ (separation is subclass of occurrence), (separation is opposite of union)
• union has quality class ⇐ (quality is a class), (union has quality quality)
• union has quality quality ⇐ (union has quality physical quantity), (physical quantity has quality quality), (has quality is a transitive relation)
• union has quality quantity value ⇐ (union has quality physical quantity), (physical quantity has quality quantity value), (has quality is a transitive relation)
• union has quality type ⇐ (union has quality physical quantity), (physical quantity has quality type), (has quality is a transitive relation)
• union has quality class ⇐ (union has quality physical quantity), (physical quantity has quality class), (has quality is a transitive relation)
• union has quality type of property ⇐ (union has quality physical quantity), (physical quantity has quality type of property), (has quality is a transitive relation)
• union has quality criterion ⇐ (union has quality physical quantity), (physical quantity has quality criterion), (has quality is a transitive relation)
• union has quality abstract entity ⇐ (type is a abstract entity), (union has quality type)
• union has quality superclass ⇐ (union is subclass of process), (process has quality superclass)
• union has quality intensity ⇐ (union is subclass of process), (process has quality intensity)
• union has quality general quantity ⇐ (union is subclass of process), (process has quality general quantity)
• union has quality physico-chemical property ⇐ (union is subclass of process), (process has quality physico-chemical property)
• union has quality physical quantity ⇐ (union is subclass of process), (process has quality physical quantity)
• union has quality physical property ⇐ (union is subclass of process), (process has quality physical property)
• union has quality abstract entity ⇐ (union is subclass of process), (process has quality abstract entity)
• union has quality entity ⇐ (union is subclass of process), (process has quality entity)
• union has quality taxonomic rank ⇐ (union is subclass of process), (process has quality taxonomic rank)
• union has part occurrence ⇐ (union is subclass of process), (process has part occurrence)
• union is subclass of process ⇐ (separation is subclass of process), (separation is opposite of union)
• union is subclass of subset ⇐ (intersection is subclass of subset), (intersection is opposite of union)
• union is subclass of spatio-temporal entity ⇐ (separation is subclass of spatio-temporal entity), (separation is opposite of union)
• union has quality entity ⇐ (taxonomic rank is a entity), (union has quality taxonomic rank)
• union has quality property ⇐ (union is subclass of connection), (connection has quality property)
• union has quality criterion ⇐ (union is subclass of connection), (connection has quality criterion)
• union is subclass of occurrent ⇐ (separation is subclass of occurrent), (separation is opposite of union)
• union has quality class ⇐ (type of property is a class), (union has quality type of property)
• union has quality existence ⇐ (union is subclass of occurrence), (occurrence has quality existence)
• union has quality spatio-temporal entity ⇐ (union is subclass of occurrence), (occurrence has quality spatio-temporal entity)
• union has quality type of object ⇐ (union is subclass of occurrence), (occurrence has quality type of object)
• union has quality temporal entity ⇐ (union is subclass of occurrence), (occurrence has quality temporal entity)
• union has quality quality ⇐ (union is subclass of occurrence), (occurrence has quality quality)
• union has quality object ⇐ (union is subclass of occurrence), (occurrence has quality object)
• union has quality point in time ⇐ (union is subclass of occurrence), (occurrence has quality point in time)
• union has quality type of property ⇐ (union is subclass of occurrence), (occurrence has quality type of property)
• union has quality taxonomic rank ⇐ (union is subclass of occurrence), (occurrence has quality taxonomic rank)
• union has quality impermanence ⇐ (union is subclass of occurrence), (occurrence has quality impermanence)
• union has quality type ⇐ (union is subclass of occurrence), (occurrence has quality type)
• union has quality superclass ⇐ (union is subclass of occurrence), (occurrence has quality superclass)
• set operation is for example union ⇐ (union is a set operation), (is a is inverse of is for example)
• operation is for example union ⇐ (union is a operation), (is a is inverse of is for example)
• union is subclass of occurrence ⇐ (union is subclass of connection), (connection is subclass of occurrence), (is subclass of is a transitive relation)
• union is subclass of object ⇐ (union is subclass of connection), (connection is subclass of object), (is subclass of is a transitive relation)
• union is subclass of occurrent ⇐ (union is subclass of connection), (connection is subclass of occurrent), (is subclass of is a transitive relation)
• union is subclass of spatio-temporal entity ⇐ (union is subclass of connection), (connection is subclass of spatio-temporal entity), (is subclass of is a transitive relation)
• union is a operation ⇐ (set operation is subclass of operation), (union is a set operation)
• union has quality existence ⇐ (union is subclass of entity), (entity has quality existence)