rolju'o lujvo

x1=d1 knows everything about x2=d3 by epistemology x3=d4; x1=d1 is omniscient about matter(s) x2=d3.

See also ro, djuno


In notes:

rolvli
x1=v1 is all-powerful / omnipotent under conditions x2=v3.