Washington Monument

Deductions

• Washington Monument has quality class ⇐ (existence is a class), (Washington Monument has quality existence)
• Washington Monument has quality existence ⇐ (Washington Monument has quality entity), (entity has quality existence), (has quality is a transitive relation)
• Washington Monument has quality entity ⇐ (built using slave labor is a entity), (Washington Monument has quality built using slave labor)
• architectural structure is for example Washington Monument ⇐ (Washington Monument is a architectural structure), (is a is inverse of is for example)
• Washington Monument is a architectural structure ⇐ (obelisk is subclass of architectural structure), (Washington Monument is a obelisk)
• obelisk is for example Washington Monument ⇐ (Washington Monument is a obelisk), (is a is inverse of is for example)
• Washington Monument has quality quality ⇐ (built using slave labor is a quality), (Washington Monument has quality built using slave labor)