Deductions
- ancient civilization is for example Ancient Egypt ⇐ (Ancient Egypt is a ancient civilization), (is a is inverse of is for example)
- ancient civilization is subclass of group of living things ⇐ (ancient civilization is subclass of society), (society is subclass of group of living things), (is subclass of is a transitive relation)
- ancient civilization is subclass of group of humans ⇐ (ancient civilization is subclass of society), (society is subclass of group of humans), (is subclass of is a transitive relation)
- ancient civilization is subclass of group of physical objects ⇐ (ancient civilization is subclass of society), (society is subclass of group of physical objects), (is subclass of is a transitive relation)
- ancient civilization is subclass of group or class of physical objects ⇐ (ancient civilization is subclass of society), (society is subclass of group or class of physical objects), (is subclass of is a transitive relation)
- ancient civilization is subclass of society ⇐ (ancient civilization is subclass of civilization), (civilization is subclass of society), (is subclass of is a transitive relation)