inner planet of the Solar System

Deductions

• inner planet of the Solar System is part of inner and outer Solar System ⇐ (inner planet of the Solar System is part of inner Solar System), (inner Solar System is part of inner and outer Solar System), (is part of is a transitive relation)
• type of object is for example inner planet of the Solar System ⇐ (inner planet of the Solar System is a type of object), (is a is inverse of is for example)
• inner planet of the Solar System is a type of object ⇐ (astronomical object type is subclass of type of object), (inner planet of the Solar System is a astronomical object type)
• astronomical object type is for example inner planet of the Solar System ⇐ (inner planet of the Solar System is a astronomical object type), (is a is inverse of is for example)
• inner planet of the Solar System is for example Earth ⇐ (Earth is a inner planet of the Solar System), (is a is inverse of is for example)
• inner planet of the Solar System is for example sky ⇐ (sky is a inner planet of the Solar System), (is a is inverse of is for example)
• outer planet is opposite of inner planet of the Solar System ⇐ inner planet of the Solar System is opposite of outer planet
• sky is a inner planet of the Solar System ⇐ (Earth is a inner planet of the Solar System), (Earth is opposite of sky)