The unique object which is the value of functions when applied to arguments on which they are not defined.
(<=> (Undefined@Ol-User%Kif-Extensions ?Value) (= ?Value Bottom))
(Inherited-Slot-Value@Frame-Ontology Undefined@Ol-User%Kif-Extensions = Bottom)