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