An ARPA project developing techniques and methods for building large-scale knowledge bases which are sharable and reusable.
KQML is part of it.