Class UNARY-RELATION

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

Slots on this class:

Documentation:

A unary relation is a relation of arity 1. Unary relations are the same thing as classes. In this ontology there is no logical distinction between a monadic predicate (unary relation) and a type (class).

Subclass-Of: Relation

---

Slots on instances of this class:

Arity: 1

Axioms:

(<=> (Unary-Relation ?Relation)
     (And (Relation ?Relation)
          (Not (Empty ?Relation))
          (Forall (?Tuple)
                  (=> (Member ?Tuple ?Relation) (Single ?Tuple)))))

Notes:

• See-Also: class