Function Reverse

Instance-Of@Frame-Ontology:
Binary-Relation@Ol-User%Kif-Relations, Function@Ol-User%Kif-Relations, Relation@Ol-User%Kif-Relations, Set@Ol-User%Kif-Sets
Domain@Frame-Ontology: List
Range@Frame-Ontology: List
Arity@Frame-Ontology: 2
Documentation@Ol%Frame-Ontology:
The function {tt reverse} produces a list in which the order of items is the reverse of that in the list supplied as its single argument.