Function Mod

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 term {tt (mod $tau_1$ $tau_2$)} denotes the root of the object denoted by $tau_1$ modulo the object denoted by $tau_2$. The result will have the same sign as denoted by $tau_1$.

Axioms mentioning Mod:

(= (Mod ?X 2) 0)

(= (Mod ?X 2) 1)