There's trademark 90782739, which covers Clippy. It's trademark status is 641, "Non-Final Action".