Function APPLY

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

Slots on this function:

Arity: 3

Axioms:

(=> (Apply ?F ?List ?Result)
    (And (Function ?F)
         (= ?List (Listof @Args))
         (= ?Result (Value ?F @Args))))