 KL-ONE was a frame language that had a rigorous semantics, formal definitions for concepts such as an Is-A relation.KL-ONE and languages that were influenced by it such as Loom had an automated reasoning engine that was based on formal logic rather than on IF-THEN rules.This reasoner is called the classifier.