If $tau_1$, ..., $tau_n$ denote numbers, then the term {tt (* $tau_1 ldots tau_n$)} denotes the product of those numbers.
(Undefined@Ol-User%Kif-Extensions (Arity@Frame-Ontology *))
(=> (Rational-Number ?X) (Exists (?Y) (And (Integer ?Y) (Integer (* ?X ?Y)))))
(<=> (Rational-Number ?X) (And (Real-Number ?X) (Exists (?Y) (And (Integer ?Y) (Integer (* ?X ?Y))))))