Deductions
- intersection has quality number of entities ⇐ (intersection has quality relation), (relation has quality number of entities), (has quality is a transitive relation)
- intersection has quality criterion ⇐ (intersection has quality mathematical object), (mathematical object has quality criterion), (has quality is a transitive relation)
- intersection has quality relation ⇐ (intersection has quality mathematical object), (mathematical object has quality relation), (has quality is a transitive relation)
- intersection has quality set ⇐ (intersection has quality mathematical object), (mathematical object has quality set), (has quality is a transitive relation)
- intersection has quality property ⇐ (intersection has quality mathematical object), (mathematical object has quality property), (has quality is a transitive relation)
- intersection has quality mathematical property ⇐ (intersection has quality mathematical object), (mathematical object has quality mathematical property), (has quality is a transitive relation)
- intersection is subclass of connection ⇐ (union is subclass of connection), (union is opposite of intersection)
- intersection has quality arity ⇐ (intersection is a operation), (operation has quality arity)
- intersection has quality mathematical object ⇐ (intersection is a operation), (operation has quality mathematical object)
- intersection has quality abstract entity ⇐ (intersection is a operation), (operation has quality abstract entity)
- intersection has quality entity ⇐ (taxonomic rank is a entity), (intersection has quality taxonomic rank)
- intersection has quality class ⇐ (type of property is subclass of class), (intersection has quality type of property)
- intersection has quality class ⇐ (type of property is a class), (intersection has quality type of property)
- intersection has quality spatio-temporal entity ⇐ (intersection is subclass of occurrence), (occurrence has quality spatio-temporal entity)
- intersection has quality temporal entity ⇐ (intersection is subclass of occurrence), (occurrence has quality temporal entity)
- intersection has quality quality ⇐ (intersection is subclass of occurrence), (occurrence has quality quality)
- intersection has quality object ⇐ (intersection is subclass of occurrence), (occurrence has quality object)
- intersection has quality point in time ⇐ (intersection is subclass of occurrence), (occurrence has quality point in time)
- intersection has quality type of property ⇐ (intersection is subclass of occurrence), (occurrence has quality type of property)
- intersection has quality taxonomic rank ⇐ (intersection is subclass of occurrence), (occurrence has quality taxonomic rank)
- intersection has quality impermanence ⇐ (intersection is subclass of occurrence), (occurrence has quality impermanence)
- intersection has quality superclass ⇐ (intersection is subclass of occurrence), (occurrence has quality superclass)
- intersection has quality type of object ⇐ (intersection is subclass of object), (object has quality type of object)
- intersection has quality type ⇐ (intersection is subclass of object), (object has quality type)
- intersection has quality existence ⇐ (intersection is subclass of object), (object has quality existence)
- operation is for example intersection ⇐ (intersection is a operation), (is a is inverse of is for example)
- set operation is for example intersection ⇐ (intersection is a set operation), (is a is inverse of is for example)
- intersection is subclass of object ⇐ (union is subclass of object), (union is opposite of intersection)
- intersection is subclass of occurrent ⇐ (union is subclass of occurrent), (union is opposite of intersection)
- intersection is subclass of occurrence ⇐ (union is subclass of occurrence), (union is opposite of intersection)
- intersection is a operation ⇐ (set operation is subclass of operation), (intersection is a set operation)
- intersection is a set operation ⇐ (union is a set operation), (union is opposite of intersection)