A frame language.
["An Essential Hybrid Reasoning System: Knowledge and Symbol Level Accounts of KRYPTON", R.J. Brachman et al, Proc IJCAI-85, 1985].