Deductions
- inactivity has quality class ⇐ (abstract entity is a class), (inactivity has quality abstract entity)
- class is for example inactivity ⇐ (inactivity is a class), (is a is inverse of is for example)
- inactivity is a class ⇐ (abstract entity is subclass of class), (inactivity is a abstract entity)
- inactivity has quality abstract entity ⇐ (type is a abstract entity), (inactivity has quality type)
- inactivity is subclass of process ⇐ (activity is subclass of process), (activity is opposite of inactivity)
- inactivity is subclass of spatio-temporal entity ⇐ (activity is subclass of spatio-temporal entity), (activity is opposite of inactivity)
- inactivity has quality entity ⇐ (type is a entity), (inactivity has quality type)
- inactivity has quality type of object ⇐ (inactivity is subclass of object), (object has quality type of object)
- inactivity has quality type ⇐ (inactivity is subclass of object), (object has quality type)
- inactivity has quality existence ⇐ (inactivity is subclass of object), (object has quality existence)
- class is for example inactivity ⇐ (inactivity is a class), (is a is inverse of is for example)
- concept is for example inactivity ⇐ (inactivity is a concept), (is a is inverse of is for example)
- type of process is for example inactivity ⇐ (inactivity is a type of process), (is a is inverse of is for example)
- type is for example inactivity ⇐ (inactivity is a type), (is a is inverse of is for example)
- abstract entity is for example inactivity ⇐ (inactivity is a abstract entity), (is a is inverse of is for example)
- entity is for example inactivity ⇐ (inactivity is a entity), (is a is inverse of is for example)
- inactivity is subclass of object ⇐ (activity is subclass of object), (activity is opposite of inactivity)
- inactivity is subclass of occurrent ⇐ (inactivity is subclass of condition), (condition is subclass of occurrent), (is subclass of is a transitive relation)
- inactivity is subclass of phenomenon ⇐ (inactivity is subclass of condition), (condition is subclass of phenomenon), (is subclass of is a transitive relation)
- inactivity is subclass of condition ⇐ (inactivity is subclass of absence), (absence is subclass of condition), (is subclass of is a transitive relation)
- inactivity is subclass of state ⇐ (inactivity is subclass of absence), (absence is subclass of state), (is subclass of is a transitive relation)
- inactivity is a entity ⇐ (abstract entity is subclass of entity), (inactivity is a abstract entity)
- inactivity is a abstract entity ⇐ (concept is subclass of abstract entity), (inactivity is a concept)
- inactivity is a class ⇐ (type is subclass of class), (inactivity is a type)
- inactivity is a type ⇐ (type of process is subclass of type), (inactivity is a type of process)
- inactivity is a type of process ⇐ (activity is a type of process), (activity is opposite of inactivity)