... prescribes the framework of semantics and of ontology. The descriptive constants, that is the individual constants (functions with no arguments), the other function symbols, and the predicate ... Metonymy is an exception, discussed in Section 4.3.2. There are cases of selection restrictions requiring in- formation additional to the semantic class, but these are checked against the ... sense of pilot, it seems less useful than the sense of normally flying a plane. 196 NIKL network for consistency between the constant CARRIERS and the constraint of the selection restric- tion....