Chapter 11: Four Kinds of Is_a Relation Ingvar Johansson 1. General Introduction In many corners of the information sciences, including work on knowledge representation,…