Deductions
- class is for example universe ⇐ (universe is a class), (is a is inverse of is for example)
- universe has quality existence ⇐ (universe is subclass of natural physical object), (natural physical object has quality existence)
- universe has quality abstract entity ⇐ (universe is subclass of natural physical object), (natural physical object has quality abstract entity)
- universe has quality entity ⇐ (universe is subclass of natural physical object), (natural physical object has quality entity)
- universe has quality physical property ⇐ (universe is subclass of natural physical object), (natural physical object has quality physical property)
- universe has quality physical location ⇐ (universe is subclass of natural physical object), (natural physical object has quality physical location)
- universe has quality superclass ⇐ (universe is subclass of natural physical object), (natural physical object has quality superclass)
- universe has quality property ⇐ (universe is subclass of natural physical object), (natural physical object has quality property)
- universe has quality type ⇐ (universe is subclass of natural physical object), (natural physical object has quality type)
- universe has quality taxonomic rank ⇐ (universe is subclass of natural physical object), (natural physical object has quality taxonomic rank)
- universe has quality class ⇐ (universe is subclass of natural physical object), (natural physical object has quality class)
- universe has quality type of property ⇐ (universe is subclass of natural physical object), (natural physical object has quality type of property)
- universe is for example Universe ⇐ (Universe is a universe), (is a is inverse of is for example)