Deductions
- Universe has characteristic type of interaction ⇐ (fundamental interaction instance of type of interaction), (Universe has characteristic fundamental interaction)
- Universe has characteristic fundamental interaction ⇐ (gravity instance of fundamental interaction), (Universe has characteristic gravity)
- Universe has quality class of fictional entities ⇐ (fictional type of object is a class of fictional entities), (Universe has quality fictional type of object)
- Universe has quality quality ⇐ (Universe has quality property), (property has quality quality), (has quality is a transitive relation)
- Universe has quality criterion ⇐ (Universe has quality property), (property has quality criterion), (has quality is a transitive relation)
- Universe has quality type of object ⇐ (Universe has quality physical location), (physical location has quality type of object), (has quality is a transitive relation)
- Universe has quality second-order class ⇐ (Universe has quality physical location), (physical location has quality second-order class), (has quality is a transitive relation)
- Universe has quality place type ⇐ (Universe has quality physical location), (physical location has quality place type), (has quality is a transitive relation)
- Universe has quality fixed-order class ⇐ (Universe has quality physical location), (physical location has quality fixed-order class), (has quality is a transitive relation)
- Universe has quality existence ⇐ (Universe is a natural physical object), (natural physical object has quality existence)
- Universe has quality abstract entity ⇐ (Universe is a natural physical object), (natural physical object has quality abstract entity)
- Universe has quality entity ⇐ (Universe is a natural physical object), (natural physical object has quality entity)
- Universe has quality physical property ⇐ (Universe is a natural physical object), (natural physical object has quality physical property)
- Universe has quality physical location ⇐ (Universe is a natural physical object), (natural physical object has quality physical location)
- Universe has quality superclass ⇐ (Universe is a natural physical object), (natural physical object has quality superclass)
- Universe has quality property ⇐ (Universe is a natural physical object), (natural physical object has quality property)
- Universe has quality type ⇐ (Universe is a natural physical object), (natural physical object has quality type)
- Universe has quality taxonomic rank ⇐ (Universe is a natural physical object), (natural physical object has quality taxonomic rank)
- Universe has quality class ⇐ (Universe is a natural physical object), (natural physical object has quality class)
- Universe has quality type of property ⇐ (Universe is a natural physical object), (natural physical object has quality type of property)
- Universe has quality fictional type of object ⇐ (Universe is subclass of fictional object), (fictional object has quality fictional type of object)
- natural physical object is for example Universe ⇐ (Universe is a natural physical object), (is a is inverse of is for example)
- Universe is a natural physical object ⇐ (universe is subclass of natural physical object), (Universe is a universe)
- Universe is subclass of fictional object ⇐ (antiverse is subclass of fictional object), (antiverse is opposite of Universe)
- antiverse is opposite of Universe ⇐ Universe is opposite of antiverse
- Universe has part continuum ⇐ (spacetime is a continuum), (Universe has part spacetime)
- universe is for example Universe ⇐ (Universe is a universe), (is a is inverse of is for example)
- physical location is part of Universe ⇐ (physical location is part of spacetime), (spacetime is part of Universe), (is part of is a transitive relation)
- physical object is part of Universe ⇐ (physical object is part of physical system), (physical system is part of Universe), (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)