Deductions
- civilization has quality existence ⇐ (civilization has quality abstract entity), (abstract entity has quality existence), (has quality is a transitive relation)
- civilization has quality abstract entity ⇐ (type is a abstract entity), (civilization has quality type)
- civilization has quality entity ⇐ (taxonomic rank is a entity), (civilization has quality taxonomic rank)
- civilization has quality class ⇐ (type of property is subclass of class), (civilization has quality type of property)
- quality is for example civilization ⇐ (civilization is a quality), (is a is inverse of is for example)
- civilization has quality class ⇐ (civilization is a quality), (quality has quality class)
- civilization has quality type ⇐ (civilization is a quality), (quality has quality type)
- civilization has quality type of property ⇐ (civilization is a quality), (quality has quality type of property)
- civilization has quality taxonomic rank ⇐ (civilization is a quality), (quality has quality taxonomic rank)
- civilization has quality superclass ⇐ (civilization is a quality), (quality has quality superclass)
- civilization is a quality ⇐ (primitive culture is a quality), (primitive culture is opposite of civilization)
- civilization is for example Ancient Egypt ⇐ (Ancient Egypt is a civilization), (is a is inverse of is for example)
- civilization is subclass of group of living things ⇐ (civilization is subclass of society), (society is subclass of group of living things), (is subclass of is a transitive relation)
- civilization is subclass of group of humans ⇐ (civilization is subclass of society), (society is subclass of group of humans), (is subclass of is a transitive relation)
- civilization is subclass of group of physical objects ⇐ (civilization is subclass of society), (society is subclass of group of physical objects), (is subclass of is a transitive relation)
- civilization is subclass of group or class of physical objects ⇐ (civilization is subclass of society), (society is subclass of group or class of physical objects), (is subclass of is a transitive relation)
- Ancient Egypt is a civilization ⇐ (ancient civilization is subclass of civilization), (Ancient Egypt is a ancient civilization)