set

Deductions

metaclass is for example set ⇐ (set is a metaclass), (is a is inverse of is for example)
set is for example arity ⇐ (arity is a set), (is a is inverse of is for example)
set is for example left-totality ⇐ (left-totality is a set), (is a is inverse of is for example)
set is for example inverse proportionality ⇐ (inverse proportionality is a set), (is a is inverse of is for example)
set is for example is an element of ⇐ (is an element of is a set), (is a is inverse of is for example)
set is for example is not an element of ⇐ (is not an element of is a set), (is a is inverse of is for example)
set is for example intransitivity ⇐ (intransitivity is a set), (is a is inverse of is for example)
set is for example symmetry ⇐ (symmetry is a set), (is a is inverse of is for example)
set is for example transitivity ⇐ (transitivity is a set), (is a is inverse of is for example)
other is subclass of set ⇐ (identity is subclass of set), (identity is opposite of other)
heterogeneous relation is subclass of set ⇐ (endorelation is subclass of set), (endorelation is opposite of heterogeneous relation)
multivalued function is subclass of set ⇐ (function is subclass of set), (function is opposite of multivalued function)
followed by is subclass of set ⇐ (follows is subclass of set), (follows is opposite of followed by)
function has quality set ⇐ (function is a concept), (concept has quality set)
multivalued function has quality set ⇐ (multivalued function is a concept), (concept has quality set)
geographical feature has quality set ⇐ (geographical feature is a concept), (concept has quality set)
shape has quality set ⇐ (shape is a mathematical concept), (mathematical concept has quality set)
work of art has quality set ⇐ (work of art is a concept), (concept has quality set)
alienation has quality set ⇐ (alienation is a legal concept), (legal concept has quality set)
ugliness has quality set ⇐ (ugliness has quality social science concept), (social science concept has quality set), (has quality is a transitive relation)
orange has quality set ⇐ (orange has quality concept), (concept has quality set), (has quality is a transitive relation)
United States House of Representatives has quality set ⇐ (United States House of Representatives has quality philosophical concept), (philosophical concept has quality set), (has quality is a transitive relation)
environment has quality set ⇐ (environment has quality philosophical concept), (philosophical concept has quality set), (has quality is a transitive relation)
intentional human activity has quality set ⇐ (intentional human activity has quality concept), (concept has quality set), (has quality is a transitive relation)
battle has quality set ⇐ (battle has quality philosophical concept), (philosophical concept has quality set), (has quality is a transitive relation)
combat has quality set ⇐ (combat has quality philosophical concept), (philosophical concept has quality set), (has quality is a transitive relation)
red has quality set ⇐ (red has quality concept), (concept has quality set), (has quality is a transitive relation)
absorbed or reflected object light has quality set ⇐ (absorbed or reflected object light has quality concept), (concept has quality set), (has quality is a transitive relation)
brown has quality set ⇐ (brown has quality concept), (concept has quality set), (has quality is a transitive relation)
whole has quality set ⇐ (whole has quality concept), (concept has quality set), (has quality is a transitive relation)
property has quality set ⇐ (property has quality legal concept), (legal concept has quality set), (has quality is a transitive relation)
treasury has quality set ⇐ (treasury has quality legal concept), (legal concept has quality set), (has quality is a transitive relation)
word-sense disambiguation has quality set ⇐ (word-sense disambiguation has quality social science concept), (social science concept has quality set), (has quality is a transitive relation)
content is subclass of set ⇐ (content is subclass of set function), (set function is subclass of set), (is subclass of is a transitive relation)
symmetric relation is subclass of set ⇐ (symmetric relation is subclass of endorelation), (endorelation is subclass of set), (is subclass of is a transitive relation)
follows is subclass of set ⇐ (follows is subclass of endorelation), (endorelation is subclass of set), (is subclass of is a transitive relation)
implication arrow is subclass of set ⇐ (implication arrow is subclass of locus), (locus is subclass of set), (is subclass of is a transitive relation)
set function is subclass of set ⇐ (set function is subclass of function), (function is subclass of set), (is subclass of is a transitive relation)
set is subclass of entity ⇐ (set is subclass of mathematical object), (mathematical object is subclass of entity), (is subclass of is a transitive relation)
set is subclass of abstract entity ⇐ (set is subclass of mathematical object), (mathematical object is subclass of abstract entity), (is subclass of is a transitive relation)
transitive relation is subclass of set ⇐ (transitive relation is subclass of endorelation), (endorelation is subclass of set), (is subclass of is a transitive relation)
logical connective is subclass of set ⇐ (logical connective is subclass of binary relation), (binary relation is subclass of set), (is subclass of is a transitive relation)
function is subclass of set ⇐ (function is subclass of binary relation), (binary relation is subclass of set), (is subclass of is a transitive relation)
reflexive relation is subclass of set ⇐ (reflexive relation is subclass of endorelation), (endorelation is subclass of set), (is subclass of is a transitive relation)
Boolean-valued function is subclass of set ⇐ (Boolean-valued function is subclass of relation), (relation is subclass of set), (is subclass of is a transitive relation)
set operation is subclass of set ⇐ (set operation is subclass of operation), (operation is subclass of set), (is subclass of is a transitive relation)
endorelation is subclass of set ⇐ (endorelation is subclass of binary relation), (binary relation is subclass of set), (is subclass of is a transitive relation)
identity is subclass of set ⇐ (identity is subclass of binary relation), (binary relation is subclass of set), (is subclass of is a transitive relation)
is not an element of is subclass of set ⇐ (is not an element of is subclass of relation), (relation is subclass of set), (is subclass of is a transitive relation)
operation is subclass of set ⇐ (operation is subclass of relation), (relation is subclass of set), (is subclass of is a transitive relation)
binary relation is subclass of set ⇐ (binary relation is subclass of relation), (relation is subclass of set), (is subclass of is a transitive relation)
Cartesian product is subclass of set ⇐ (Cartesian product is subclass of relation), (relation is subclass of set), (is subclass of is a transitive relation)
set is subclass of mathematical object ⇐ (set is subclass of class), (class is subclass of mathematical object), (is subclass of is a transitive relation)
mathematical property is subclass of set ⇐ (mathematical property is subclass of relation), (relation is subclass of set), (is subclass of is a transitive relation)
set is a class ⇐ (metaclass is subclass of class), (set is a metaclass)
arity is a set ⇐ (relation is subclass of set), (arity is a relation)
measure is a set ⇐ (relation is subclass of set), (measure is a relation)
transitivity is a set ⇐ (relation is subclass of set), (transitivity is a relation)
symmetry is a set ⇐ (relation is subclass of set), (symmetry is a relation)
intransitivity is a set ⇐ (relation is subclass of set), (intransitivity is a relation)
is not an element of is a set ⇐ (relation is subclass of set), (is not an element of is a relation)
reflexivity is a set ⇐ (relation is subclass of set), (reflexivity is a relation)
is an element of is a set ⇐ (relation is subclass of set), (is an element of is a relation)
inverse proportionality is a set ⇐ (relation is subclass of set), (inverse proportionality is a relation)
left-totality is a set ⇐ (relation is subclass of set), (left-totality is a relation)
term has quality set ⇐ (relation is subclass of set), (term has quality relation)
mathematical object has quality set ⇐ (relation is subclass of set), (mathematical object has quality relation)
tautology has quality set ⇐ (relation is subclass of set), (tautology has quality relation)
element has quality set ⇐ (relation is subclass of set), (element has quality relation)
consequent has quality set ⇐ (relation is subclass of set), (consequent has quality relation)
proposition has quality set ⇐ (relation is subclass of set), (proposition has quality relation)
mathematical concept has quality set ⇐ (extension of a concept is subclass of set), (mathematical concept has quality extension of a concept)
social science concept has quality set ⇐ (extension of a concept is subclass of set), (social science concept has quality extension of a concept)
philosophical concept has quality set ⇐ (extension of a concept is subclass of set), (philosophical concept has quality extension of a concept)
legal concept has quality set ⇐ (extension of a concept is subclass of set), (legal concept has quality extension of a concept)
concept has quality set ⇐ (extension of a concept is subclass of set), (concept has quality extension of a concept)
religious concept has quality set ⇐ (extension of a concept is subclass of set), (religious concept has quality extension of a concept)
sociological concept has quality set ⇐ (extension of a concept is subclass of set), (sociological concept has quality extension of a concept)