Deductions
- spatio-temporal entity is for example sky ⇐ (sky is a spatio-temporal entity), (is a is inverse of is for example)
- object is for example sky ⇐ (sky is a object), (is a is inverse of is for example)
- sky is a spatio-temporal entity ⇐ (independent continuant is subclass of spatio-temporal entity), (sky is a independent continuant)
- sky is a object ⇐ (independent continuant is subclass of object), (sky is a independent continuant)
- continuant is for example sky ⇐ (sky is a continuant), (is a is inverse of is for example)
- sky is a continuant ⇐ (space is subclass of continuant), (sky is a space)
- 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)
- space is for example sky ⇐ (sky is a space), (is a is inverse of is for example)
- independent continuant is for example sky ⇐ (sky is a independent continuant), (is a is inverse of is for example)
- sky is a independent continuant ⇐ (space is subclass of independent continuant), (sky is a space)
- sky is a inner planet of the Solar System ⇐ (Earth is a inner planet of the Solar System), (Earth is opposite of sky)