Function Fround

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
Arity@Frame-Ontology: 2
Documentation@Ol%Frame-Ontology: The term {tt (fround $tau$)} is equivalent to {tt (ffloor (+ 0.5 $tau$))}.