In this paper I establish a link between KL-ONE-based knowledge representation concerned with terminological representation and the work of P. Suppes (1976,1979,1981) and M. Böttner (1985,1989) in computational linguistics. I show how this link can be utilised for the problem of finding adequate terminological representations for given information formulated in ordinary English.
Also available as Tech. Rep. MPI-I-92-246, MPI für Informatik, Saarbrücken, Germany (October 1992). DVI, PostScript