Augmentation of Undefined Bottom

• Defined in ontology: Kif-relations
• Source pathname: /tmp_mnt/vol/q/htw/cms/ontolingua/examples/kif/../../all-ontologies/kif/kif-relations.lisp

Instance-Of@Frame-Ontology: Undefined@Ol-User%Kif-Extensions

Documentation@Ol%Frame-Ontology:

The unique object which is the value of functions when applied to arguments on which they are not defined.

Frame References to Bottom:

In class@frame-ontology Undefined@Ol-User%Kif-Extensions:

All-Instances@Frame-Ontology: {Bottom}

Equivalence Axioms mentioning Bottom:

(<=> (Undefined@Ol-User%Kif-Extensions ?Value) (= ?Value Bottom))

Axioms mentioning Bottom:

(Inherited-Slot-Value@Frame-Ontology Undefined@Ol-User%Kif-Extensions
                      =
                      Bottom)