space

Deductions

• space is for example Earth ⇐ (Earth is a space), (is a is inverse of is for example)
• space is for example sky ⇐ (sky is a space), (is a is inverse of is for example)
• space is subclass of continuant ⇐ (space is subclass of independent continuant), (independent continuant is subclass of continuant), (is subclass of is a transitive relation)
• space is subclass of entity ⇐ (space is subclass of independent continuant), (independent continuant is subclass of entity), (is subclass of is a transitive relation)
• Earth is a space ⇐ (sky is a space), (sky is opposite of Earth)