KRYPTON

A frame-based language.

"An Essential Hybrid Reasoning System: Knowledge and Symbol Level Accounts of KRYPTON", R. J. Brachman et al, Proceedings of IJCAI-85, 1985.