When something is asked of OpenCyc, is the asked assertion reified as fact somewhere in OpenCyc?
Related Questions
- About backchaining, does OpenCyc make deductions during assertion time so that even though the backchaining is set low it might not mean that a rule won be used?
- Why do Catholics try to earn their own salvation, despite the fact that salvation can only come as a free gift from Jesus Christ?
- When something is asked of OpenCyc, is the asked assertion reified as fact somewhere in OpenCyc?