Function Revappend

Instance-Of@Frame-Ontology: Function@Ol-User%Kif-Relations, Relation@Ol-User%Kif-Relations, Set@Ol-User%Kif-Sets
Arity@Frame-Ontology: 3
Documentation@Ol%Frame-Ontology:
The function {tt revappend} is similar to append, except that it adds the items in reverse order.

Axioms for Revappend:

(Nth-Domain@Frame-Ontology Revappend 3 List)

(Nth-Domain@Frame-Ontology Revappend 2 List)

(Nth-Domain@Frame-Ontology Revappend 1 List)