Class UNDEFINED

Slots on this class:

Documentation:
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.
Instance-Of: Class
All-Instances: {Bottom}
Has-Instance: 
(Arity *)

(Arity +)

(Arity -)

(Arity /)

(Arity Difference)

(Arity Holds)

(Arity Intersection)

(Arity Lcm)

(Arity Listof)

(Arity Logand)

(Arity Logeqv)

(Arity Logior)

(Arity Logxor)

(Arity Max)

(Arity Min)

(Arity Mutually-Disjoint)

(Arity Pairwise-Disjoint)

(Arity Set-Cover)

(Arity Set-Partition)

(Arity Setof)

(Arity Union)

(Arity Value)

Bottom

Equivalence Axioms:

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

Axioms:

(= ?Value Bottom)

Other Related Axioms:

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

(Instance-Of (Undefined ?X) Not)

(Not (Undefined ?X))

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

Notes: