Function UNIVERSE

• Defined in theory: Kif-relations
• Source code: kif-relations.lisp

Slots on this function:

Documentation:

The universe of a relation is the set of all objects occurring in some list contained in that relation.

Instance-Of: Function

Arity: 2

Other Related Axioms:

(<- (Universe ?R)
    (If (Relation ?R)
        (Setofall ?X
                  (Exists (?List)
                          (And (Member ?List ?R) (Item ?X ?List))))))