Deductions
- monad has quality class ⇐ (existence is a class), (monad has quality existence)
 
- monad is part of humanities ⇐ (monad is part of philosophy), (philosophy is part of humanities), (is part of is a transitive relation)
 
- monad is a entity ⇐ (type of fixed-size set or group is subclass of entity), (monad is a type of fixed-size set or group)
 
- monad has quality Wikimedia internal item ⇐ (list of values as qualifiers is a Wikimedia internal item), (monad has quality list of values as qualifiers)
 
- type of fixed-size set or group is for example monad ⇐ (monad is a type of fixed-size set or group), (is a is inverse of is for example)
 
- concept is for example monad ⇐ (monad is a concept), (is a is inverse of is for example)
 
- class is for example monad ⇐ (monad is a class), (is a is inverse of is for example)
 
- abstract entity is for example monad ⇐ (monad is a abstract entity), (is a is inverse of is for example)
 
- entity is for example monad ⇐ (monad is a entity), (is a is inverse of is for example)
 
- monad is subclass of entity ⇐ (monad is subclass of collective entity), (collective entity is subclass of entity), (is subclass of is a transitive relation)
 
- monad is a entity ⇐ (abstract entity is subclass of entity), (monad is a abstract entity)
 
- monad is a abstract entity ⇐ (concept is subclass of abstract entity), (monad is a concept)
 
- monad is a class ⇐ (type of fixed-size set or group is subclass of class), (monad is a type of fixed-size set or group)
 
- monad has quality existence ⇐ (monad is subclass of collective entity), (collective entity has quality existence)