Deductions
- natural object is subclass of entity ⇐ (artificial object is subclass of entity), (artificial object is opposite of natural object)
- natural object has quality class ⇐ (type of property is subclass of class), (natural object has quality type of property)
- natural object has quality class ⇐ (type of property is a class), (natural object has quality type of property)
- type of object is for example natural object ⇐ (natural object is a type of object), (is a is inverse of is for example)
- type is for example natural object ⇐ (natural object is a type), (is a is inverse of is for example)
- natural object has quality quality ⇐ (natural object has quality type), (type has quality quality), (has quality is a transitive relation)
- natural object has quality criterion ⇐ (natural object has quality type), (type has quality criterion), (has quality is a transitive relation)
- natural object has quality type of property ⇐ (natural object has quality type), (type has quality type of property), (has quality is a transitive relation)
- natural object is a type ⇐ (type of object is subclass of type), (natural object is a type of object)
- natural object has quality entity ⇐ (abstract entity is subclass of entity), (natural object has quality abstract entity)
- natural object has quality type ⇐ (type of object is subclass of type), (natural object has quality type of object)
- natural object has quality abstract entity ⇐ (property is subclass of abstract entity), (natural object has quality property)
- natural object has quality property ⇐ (of the natural world separate from humans is subclass of property), (natural object has quality of the natural world separate from humans)
- natural object has quality type of object ⇐ (natural object is subclass of object), (object has quality type of object)
- natural object has quality existence ⇐ (natural object is subclass of object), (object has quality existence)