The has_a relationship

The is_a relationship allows us to encode a lot of information about the world, but it only gets us so far. The next logic step is to introduce the has_a relationship which allows us to describe what something consists of. Some examples:

(person) (has_a) (name)

(dog) (has_a) (tail)