Class DEFINED


Slots on this class:

Documentation:
A term is defined if it does not denote the undefined object, called bottom. (defined (F x)) means that the function F is defined for the object x. (F x) denotes its value. In relational terminology, (defined (F x)) means (exists ?y (F x ?y)).
Instance-Of: Class

Equivalence Axioms:

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


Axioms:

(Not (Undefined ?X))


Other Related Axioms:

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


Notes: