Function COMPOSE

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

Slots on this function:

Documentation:

arbitrary-arity version of COMPOSITION. The left-to-right argument order composes relations outside-in. e.g., (COMPOSE f g h) means (composition h (composition g f)). If the relations are unary functions, then the composition order corresponds to nested function terms. For example, if f,g,h are functions, then (value (COMPOSE f g h) ?arg) is equivalent to (f (g (h ?arg))).

Instance-Of: Function

Range: Binary-relation

Equivalence Axioms:

(<=> (Compose @Binary-Relations)
     (Composition-Of ?Composed-Relation (Listof @Binary-Relations)))

Axioms:

(Undefined (Arity Compose))

Other Related Axioms:

(Instance-Of (Arity Compose) Undefined)

(=> (= (Compose @Binary-Relations) ?Composed-Relation)
    (Forall (?R)
            (=> (Item ?R (Listof @Binary-Relations))
                (Binary-Relation ?R))))

(=> (= (Compose @Binary-Relations) ?Composed-Relation)
    (Composition-Of ?Composed-Relation (Listof @Binary-Relations)))