element

Deductions

• element has quality class ⇐ (set is a class), (element has quality set)
• finite set has part element ⇐ (finite set is subclass of set), (set has part element)
• injective object is subclass of element ⇐ (projective object is subclass of element), (projective object is opposite of injective object)
• element has quality class ⇐ (abstract entity is a class), (element has quality abstract entity)
• element is for example bottom type ⇐ (bottom type is a element), (is a is inverse of is for example)
• element is for example top type ⇐ (top type is a element), (is a is inverse of is for example)
• top type is a element ⇐ (object of a category is subclass of element), (top type is a object of a category)
• bottom type is a element ⇐ (object of a category is subclass of element), (bottom type is a object of a category)
• projective object is subclass of element ⇐ (projective object is subclass of object of a category), (object of a category is subclass of element), (is subclass of is a transitive relation)
• object of a category is subclass of element ⇐ (object of a category is subclass of element), (element is subclass of element), (is subclass of is a transitive relation)
• element has quality class ⇐ (quality is a class), (element has quality quality)
• element has quality criterion ⇐ (element has quality mathematical object), (mathematical object has quality criterion), (has quality is a transitive relation)
• element has quality taxonomic rank ⇐ (element has quality mathematical object), (mathematical object has quality taxonomic rank), (has quality is a transitive relation)
• element has quality relation ⇐ (element has quality mathematical object), (mathematical object has quality relation), (has quality is a transitive relation)
• element has quality set ⇐ (element has quality mathematical object), (mathematical object has quality set), (has quality is a transitive relation)
• element has quality superclass ⇐ (element has quality mathematical object), (mathematical object has quality superclass), (has quality is a transitive relation)
• element has quality property ⇐ (element has quality mathematical object), (mathematical object has quality property), (has quality is a transitive relation)
• element has quality abstract entity ⇐ (element has quality mathematical object), (mathematical object has quality abstract entity), (has quality is a transitive relation)
• element has quality type ⇐ (element has quality mathematical object), (mathematical object has quality type), (has quality is a transitive relation)
• element has quality mathematical property ⇐ (element has quality mathematical object), (mathematical object has quality mathematical property), (has quality is a transitive relation)
• element has quality quality ⇐ (element has quality mathematical object), (mathematical object has quality quality), (has quality is a transitive relation)
• element has quality entity ⇐ (element has quality mathematical object), (mathematical object has quality entity), (has quality is a transitive relation)
• element has quality existence ⇐ (element has quality mathematical object), (mathematical object has quality existence), (has quality is a transitive relation)
• element has quality class ⇐ (element has quality mathematical object), (mathematical object has quality class), (has quality is a transitive relation)
• element has quality type of property ⇐ (element has quality mathematical object), (mathematical object has quality type of property), (has quality is a transitive relation)
• element has quality class ⇐ (set is a class), (element has quality set)
• element has quality mathematical object ⇐ (is an element of is subclass of mathematical object), (element has quality is an element of)
• irreflexive relation has part element ⇐ (irreflexive relation is subclass of set), (set has part element)
• superset has part element ⇐ (superset is subclass of set), (set has part element)
• element has quality existence ⇐ (element has quality abstract entity), (abstract entity has quality existence), (has quality is a transitive relation)
• element has quality abstract entity ⇐ (arity is a abstract entity), (element has quality arity)
• element has quality entity ⇐ (taxonomic rank is a entity), (element has quality taxonomic rank)
• element has quality mathematical object ⇐ (arity is a mathematical object), (element has quality arity)
• infinite set has part element ⇐ (infinite set is subclass of set), (set has part element)
• role is for example element ⇐ (element is a role), (is a is inverse of is for example)
• concept is for example element ⇐ (element is a concept), (is a is inverse of is for example)
• mathematical concept is for example element ⇐ (element is a mathematical concept), (is a is inverse of is for example)
• element has quality arity ⇐ (element has quality mathematical property), (mathematical property has quality arity), (has quality is a transitive relation)
• element has quality number of entities ⇐ (element has quality mathematical property), (mathematical property has quality number of entities), (has quality is a transitive relation)
• element is subclass of entity ⇐ (element is subclass of mathematical object), (mathematical object is subclass of entity), (is subclass of is a transitive relation)
• element is subclass of abstract entity ⇐ (element is subclass of mathematical object), (mathematical object is subclass of abstract entity), (is subclass of is a transitive relation)
• inverse element is subclass of element ⇐ (inverse element is subclass of element), (element is subclass of element), (is subclass of is a transitive relation)
• multiplicative inverse is subclass of element ⇐ (multiplicative inverse is subclass of inverse element), (inverse element is subclass of element), (is subclass of is a transitive relation)
• element is subclass of mathematical object ⇐ (element is subclass of element), (element is subclass of mathematical object), (is subclass of is a transitive relation)
• element is a concept ⇐ (mathematical concept is subclass of concept), (element is a mathematical concept)
• element has quality taxonomic rank ⇐ (superclass is a taxonomic rank), (element has quality superclass)
• element has quality set ⇐ (relation is subclass of set), (element has quality relation)
• element has quality relation ⇐ (mathematical property is subclass of relation), (element has quality mathematical property)
• element has quality superclass ⇐ (element is subclass of mathematical object), (mathematical object has quality superclass)
• element has quality mathematical property ⇐ (element is subclass of mathematical object), (mathematical object has quality mathematical property)