Learn how easy it is to sync an existing GitHub or Google Code repo to a SourceForge project! See Demo

Close

#13 13 is not an integer between 1 and 31

open
nobody
KB Content (9)
5
2002-12-24
2002-12-24
J. Random Hacker
No

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
http://sourceforge.net/forum/forum.php?thread_id=668744&forum_id=85727
for OpenCyc 0.6.0.

Discussion

  •  
    Attachments
  • Logged In: YES
    user_id=564384

    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.