Comment by tkosan

Cyc is used in the MathCraft application, which is currently in beta:

http://www.cyc.com/mathcraft/

I don't think Google, Bing, Wolfram Alpha, or Siri can be used for applications like this.