Deductions
- physical substance is for example spacetime ⇐ (spacetime is a physical substance), (is a is inverse of is for example)
- spacetime is a physical substance ⇐ (continuum is subclass of physical substance), (spacetime is a continuum)
- physical substance is part of multiverse ⇐ (physical substance is part of Universe), (Universe is part of multiverse), (is part of is a transitive relation)
- physical substance is part of Universe ⇐ (physical substance is part of physical system), (physical system is part of Universe), (is part of is a transitive relation)
- physical substance is part of physical system ⇐ (physical substance is part of physical object), (physical object is part of physical system), (is part of is a transitive relation)
- physical tool has part physical substance ⇐ (physical tool is subclass of equipment), (equipment has part physical substance)
- equipment has part physical substance ⇐ (equipment is subclass of physical object), (physical object has part physical substance)