Deductions
- non-material physical substance is subclass of concrete object ⇐ (non-material physical substance is subclass of physical substance), (physical substance is subclass of concrete object), (is subclass of is a transitive relation)
- concrete object has quality class ⇐ (quality is a class), (concrete object has quality quality)
- class is for example concrete object ⇐ (concrete object is a class), (is a is inverse of is for example)
- concrete object is a class ⇐ (abstract entity is subclass of class), (concrete object is a abstract entity)
- concrete object has quality abstract entity ⇐ (type is a abstract entity), (concrete object has quality type)
- abstract entity is for example concrete object ⇐ (concrete object is a abstract entity), (is a is inverse of is for example)
- concrete object is subclass of abstract entity ⇐ (class is subclass of abstract entity), (class is opposite of concrete object)
- concrete object is a abstract entity ⇐ (metaclass is subclass of abstract entity), (concrete object is a metaclass)
- concrete object has quality entity ⇐ (taxonomic rank is a entity), (concrete object has quality taxonomic rank)
- concrete object has part member of a group ⇐ (concrete object is subclass of class), (class has part member of a group)
- entity is for example concrete object ⇐ (concrete object is a entity), (is a is inverse of is for example)
- concrete object is subclass of class ⇐ (class is subclass of class), (class is opposite of concrete object)
- concrete object has quality existence ⇐ (concrete object is a entity), (entity has quality existence)
- concrete object is a entity ⇐ (metaclass is subclass of entity), (concrete object is a metaclass)
- concrete object has quality class ⇐ (type of property is a class), (concrete object has quality type of property)
- class is for example concrete object ⇐ (concrete object is a class), (is a is inverse of is for example)
- variable-order class is for example concrete object ⇐ (concrete object is a variable-order class), (is a is inverse of is for example)
- type of object is for example concrete object ⇐ (concrete object is a type of object), (is a is inverse of is for example)
- metaclass is for example concrete object ⇐ (concrete object is a metaclass), (is a is inverse of is for example)
- type is for example concrete object ⇐ (concrete object is a type), (is a is inverse of is for example)
- abstract object is opposite of concrete object ⇐ concrete object is opposite of abstract object
- concrete object is opposite of class ⇐ class is opposite of concrete object
- concrete object is opposite of abstract entity ⇐ abstract entity is opposite of concrete object
- concrete object has quality superclass ⇐ (concrete object has quality type of object), (type of object has quality superclass), (has quality is a transitive relation)
- concrete object has quality property ⇐ (concrete object has quality type of object), (type of object has quality property), (has quality is a transitive relation)
- concrete object has quality criterion ⇐ (concrete object has quality type of object), (type of object has quality criterion), (has quality is a transitive relation)
- concrete object has quality quality ⇐ (concrete object has quality type of object), (type of object has quality quality), (has quality is a transitive relation)
- concrete object has quality type of property ⇐ (concrete object has quality type of object), (type of object has quality type of property), (has quality is a transitive relation)
- concrete object has quality taxonomic rank ⇐ (concrete object has quality type of object), (type of object has quality taxonomic rank), (has quality is a transitive relation)
- concrete object is subclass of entity ⇐ (concrete object is subclass of object), (object is subclass of entity), (is subclass of is a transitive relation)
- concrete object is a type ⇐ (type of object is subclass of type), (concrete object is a type of object)
- concrete object is a class ⇐ (variable-order class is subclass of class), (concrete object is a variable-order class)
- concrete object has quality type ⇐ (type of object is subclass of type), (concrete object has quality type of object)
- concrete object has quality type of object ⇐ (concrete object is subclass of object), (object has quality type of object)
- concrete object is a metaclass ⇐ (class is a metaclass), (class is opposite of concrete object)
- concrete object is a variable-order class ⇐ (abstract entity is a variable-order class), (abstract entity is opposite of concrete object)