The rows in Figure 2 determine howthe enquiring systems come to ask the questions.
This is a concomitant of the principle of substitutability in the basic question-making
format. Each of the knowledge relations in the row has a commonality of entailment
based on their being type 1 (instance-dominant), type 2 (value-dominant) or type 3
(linkage-dominant), described next: