Cyc is hardly [1] mentioned in modern work under the knowledge representation and reasoning umbrella, because most [2] of it was/is unavailable or unknown to most researchers. It's hard to build on something that's primarily marketing material.
[1] I could be wrong, but even those that mention Cyc use it only as a historical example of early work in KRR / symbolic AI.
[2] OpenCyc being the small subset which is available, tho I haven't met anyone who worked with it.
https://news.ycombinator.com/item?id=43625474 "Obituary for Cyc"
https://news.ycombinator.com/item?id=40069298 "Cyc: History's Forgotten AI Project"