An ARPA project developing techniques and methods for building large-scale knowledge bases which are sharable and reusable.

KQML is part of it.