You remark that lower bounds on $Pn(f)$ are closely related to all existing lower bound techniques. For Boolean functions this seems to be true, as long as the log-rank conjecture is true.
However, $Pn(f)$ can be exponentially larger than the fooling set bound.
It is not clear to me how much $Pn(f)$ and $D(f)$ can differ in the non-Boolean case.
In the remainder I make these comments more precise.
KN (Kushilevitz and Nisan in their 1997 textbook) outline the three basic techniques for Boolean functions: size of a fooling set, size of a monochromatic rectangle, and rank of the communication matrix.
First, fooling sets.
A fooling set $S$ is monochromatic: there is some $z \in \{0,1\}$ such that $f(x,y) = z$ for every $(x,y)\in S$.
Some final patching is then needed to take into account the other colour. This extra step can be avoided.
Let $f \colon X \times Y \to \{0,1\}$ be a function.
A pair of distinct elements $(x_1,y_1),(x_2,y_2) \in X \times Y$ is weakly fooling for $f$ if $f(x_1,y_1) = f(x_2,y_2)$ implies that either $f(x_1,y_2) \ne f(x_1,y_1)$ or $f(x_2,y_1) \ne f(x_1,y_1)$.
A set $S \subseteq X \times Y$ is a weak fooling set for $f$ if every distinct pair of elements of $S$ is weakly fooling.
KN implicitly state after the proof of 1.20 that the log-size of a weak fooling set is a lower bound for the communication complexity.
A largest weak fooling set picks a representative element from each monochromatic rectangle in a smallest disjoint set cover. The size of a largest weak fooling set is therefore at most as large as (the exponent of) the partition number.
Unfortunately the bound provided by fooling sets is often weak.
The proof of KN 1.20 shows that any function mapping each element $s$ of a weak fooling set $S$ to a monochromatic rectangle $R_s$ containing that element is injective.
However, there can be many monochromatic rectangles $R$ in a smallest disjoint cover that do not appear in the image of $S$, with every element of $R$ weakly fooling with some but not all of the elements of $S$, and so cannot simply be added to $S$.
In fact Dietzfelbinger, Hromkovič and Schnitger showed (doi:10.1016/S0304-3975(96)00062-X) that for all large enough $n$, at least $1/4$ of all Boolean functions on $n$ variables have $Pn(f) = n$ yet have (weak) fooling sets of log-size $O(\log n)$.
So the log of the size of a largest (weak) fooling set can be exponentially smaller than the communication complexity.
For rank, establishing a close correspondence between the rank of the matrix of the function and its partition number would establish a form of the log-rank conjecture (depending on the tightness of the correspondence).
For instance, if there is a constant $a> 0$ such that $Pn(f) \le a\log rk(f)$ for every Boolean function $f$, then $D(f) \le (2a\log rk(f))^2$, and a kind of log-rank conjecture then holds for families of functions for which $rk(f)$ ultimately increases with $|X|+|Y|$, with exponent $2+\epsilon$ for any $\epsilon > 0$ achievable for sufficiently large $|X|+|Y|$.
(Recall that the Lovász-Saks log-rank conjecture says that there is a constant $c>0$ such that $D(f) \le (\log rk(f))^c$ for every Boolean function $f$; here $rk(f)$ is the rank of the communication matrix of $f$ over the reals.)
Similarly, if there is only one quite large monochromatic rectangle together with many small ones, then the partition number gives a stronger bound than the log-size of a largest monochromatic rectangle.
However, the log-rank conjecture is also equivalent to a conjecture about the size of a largest monochromatic rectangle (Nisan and Wigderson 1995, doi:10.1007/BF01192527, Theorem 2). So using monochromatic rectangles is not currently known to be "the same as" using the partition number, but they are closely related if the log-rank conjecture holds.
In summary, the log-size of a largest weak fooling set may be exponentially smaller than the partition number. There may be gaps between the other lower bound techniques and the partition number, but if the log-rank conjecture holds then these gaps are small.
By using notions of size that extend the usual one (of cardinality), the size of any monochromatic rectangle can be used to generalise fooling sets, and to lower bound the communication complexity (see KN 1.24). I am not sure how close the generalised largest "size" of any monochromatic rectangle must be to the communication complexity.
In contrast to the above discussion for Boolean functions, for non-Boolean functions the gap between $D(f)$ and $\log rk(f)$ may be exponential. KN 2.23 gives an example: let $f$ be the function that returns the size of the intersections of the sets represented by the two input characteristic vectors. For this function, the log-rank is $\log n$.
Now the set of all pairs of non-intersecting sets has $3^n$ elements.
As far as I can tell, there can be no monochromatic rectangles larger than this set. If this is correct, then $D(f) \ge Pn(f) \ge (2 - \log 3)n > 0.4n$, so for this function, $D(f)$, $Pn(f)$, and the log-size of a largest monochromatic rectangle are all within a factor of at most $2.5$ of each other, while being exponentially far from the log rank.
Hence small separations between $Pn(f)$ and $D(f)$ may be possible in the non-Boolean case, but they are not related in an obvious way to the log-rank of the matrix of $f$.
I am not aware of any published work discussing how these measures are related in the non-Boolean case.
Finally, Dietzfelbinger et al. also defined an extended fooling set bound, generalising the fooling condition from pairs ("order 1" subsets) to larger subsets of monochromatic elements; the extended fooling condition requires that the submatrix spanned by the monochromatic elements is not monochromatic.
It is not clear how this behaves as the order of the monochromatic subsets increases, as one has to divide the size of the extended fooling set by the order, and consider the largest value over all orders.
However, this notion ends up being a close lower bound to $Pn(f)$.
