Learn how easy it is to sync an existing GitHub or Google Code repo to a SourceForge project! See Demo
The attached screenshot shows OpenCyc 0.7.0 for Linux
claiming that 13 is not an integer between 1 and 31.
This problem was discussed at
for OpenCyc 0.6.0.
J. Random Hacker
Dietrich H. Fischer
Logged In: YES
Observation: One may supply a general rule such that (isa 13
(IntegerFromFn 1 31)) is deduced, but this needs HL
backchaining - and it seems that the check for
wellformedness does implicitly not embark on that, because
the error recurs.