Deductions
- natural environment has part class ⇐ (abstract entity is a class), (natural environment has part abstract entity)
- natural environment has part class ⇐ (entity is a class), (natural environment has part entity)
- natural environment has part variable-order class ⇐ (concept is a variable-order class), (natural environment has part concept)
- natural environment has part concept ⇐ (metaclass is a concept), (natural environment has part metaclass)
- natural environment has part abstract entity ⇐ (metaclass is a abstract entity), (natural environment has part metaclass)
- natural environment has part metaclass ⇐ (feature type is a metaclass), (natural environment has part feature type)
- natural environment has part type of object ⇐ (forest is a type of object), (natural environment has part forest)
- natural environment has part entity ⇐ (feature type is a entity), (natural environment has part feature type)
- natural environment has part feature type ⇐ (forest is a feature type), (natural environment has part forest)
- natural environment is subclass of system ⇐ (natural environment is subclass of environment), (environment is subclass of system), (is subclass of is a transitive relation)