http://www.cyc.com/mathcraft/
I don't think Google, Bing, Wolfram Alpha, or Siri can be used for applications like this.
See [1], noting that human annotation is responsible for 250K of the 100 million high confidence facts in the system.
I believe they have some manual overrides in a few cases, but the system itself is automatic.
[1] https://research.google.com/pubs/pub45634.html
http://www.cyc.com/mathcraft/
I don't think Google, Bing, Wolfram Alpha, or Siri can be used for applications like this.