A frame language.

Not to be confused with KL1.

"An Overview of the KL-ONE Knowledge Representation System", R.J. Brachman and J. Schmolze, Cognitive Sci 9(2), 1985.


This article (or an earlier version of it) contains material from FOLDOC, used with permission.