Class Undefined

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

Has-Instance@Frame-Ontology: Bottom

Instance-Of@Frame-Ontology: Class@Frame-Ontology, Relation, Set

All-Instances@Frame-Ontology: {Bottom}

Arity@Frame-Ontology: 1

Documentation@Ol%Frame-Ontology:

True of terms denoting the bottom object, usually meaning that a function is undefined on given arguments. There is exactly one object in the universe of discourse that is undefined, called BOTTOM. Functional terms that are undefined are equal to this special element.

Notes:

• UNDEFINED is not in the KIF 3.0 spec, but is implicitly there.

---

Slots:

Equivalence Axioms for Undefined:

(<=> (Undefined ?Value) (= ?Value Bottom))

Axioms for Undefined:

(Inherited-Slot-Value@Frame-Ontology Undefined = Bottom)

Equivalence Axioms mentioning Undefined:

(<=> (Defined ?X) (Not (Undefined ?X)))