Relation HOLDS

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

Slots on this relation:

Documentation:

If $tau$ denotes a relation, then the sentence {tt (holds $tau$ $tau_1$ ... $tau_k$)} is true if and only if
the list of objects denoted by $tau_1$,...,$tau_k$ is a member of that relation.

Instance-Of: Relation

Equivalence Axioms:

(<=> (Holds ?R @Args) (And (Relation ?R) (Member (Listof @Args) ?R)))

Axioms:

(Undefined (Arity Holds))

Other Related Axioms:

(Instance-Of (Arity Holds) Undefined)

(<=> (Holds ?R @Args) (And (Relation ?R) (Member (Listof @Args) ?R)))

(<- (Inverse ?Binary-Relation)
    (If (Binary-Relation ?Binary-Relation)
        (Setofall (Listof ?Y ?X) (Holds ?Binary-Relation ?X ?Y))))

(<=> (Holds ?Binary-Relation ?X ?Y)
     (Holds (Inverse ?Binary-Relation) ?Y ?X))

(<- (Composition ?R1 ?R2)
    (If (And (Binary-Relation ?R1) (Binary-Relation ?R2))
        (Setofall (Listof ?X ?Z)
                  (Exists (?Y)
                          (And (Holds ?R1 ?X ?Y) (Holds ?R2 ?Y ?Z))))))