Skip to content

zelph - A Sophisticated Semantic Network System

inner and outer Solar System

inner and outer Solar System

Deductions

inner and outer Solar System has part content ⇐ (inner Solar System is a content), (inner and outer Solar System has part inner Solar System)
outer planet is part of inner and outer Solar System ⇐ (outer planet is part of outer Solar System), (outer Solar System is part of inner and outer Solar System), (is part of is a transitive relation)
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)
Uranus is part of inner and outer Solar System ⇐ (Uranus is part of outer Solar System), (outer Solar System is part of inner and outer Solar System), (is part of is a transitive relation)