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