If WolframAlpha is the database of facts and associations that is equivalent to Cyc then I assume Mathematica or the Wolfram language is the language for querying that data (the equivalent of CycL). To connect the two, is there a published set of ontologies or schemas that cover all or much of the data in WolframAlpha so Mathematica user can see what is queryable? Something equivelent to Cyc's published vocabulary (http://www.cyc.com/resource/vocabulary)? If there is, it would be much more useful than the hit-or-miss results from WolframAlpha's natural language interface.
