I think you're right about the skolem term not being returned as a binding because...
Hi Luke, Is it possible that the presentation you saw used not OpenCyc, but ResearchCyc,...
There is a global that gates whether these NL tags are added to noun phrases parses....
What's the NL query you're using? On Tue, Nov 25, 2014 at 12:10 PM, Douglas Summers-Stay...
The second question might be too hard to answer. There are so many possible ways...
The mappings were done using WordNet 2.0, and are in the KB as assertions of this...