Not able to save a MicroThery

2014-01-13
2014-01-14
  • Himadri Khargharia

    Hi All,

    I have created a microtheory, with some constants terms and assertions. But none of these are getting saved. Every time i restart the Cyc server. My microtheory goes off. If any body can help me in saving the microtheory so that next time it remains when i start my Cyc server, will be thankful.

    Thanks,

    Himadri

     
    • Larry Lefkowitz

      Larry Lefkowitz - 2014-01-13

      Himadri,

      The operations you do in the Cyc image are saved out as a transcript file.
      When you restart the Cyc image, you can use the Load Transcript File tool
      to bring those operations back into your Cyc image.

      Larry

      Larry Lefkowitz, Ph.D.
      Executive Director, Business Solutions
      Cycorp, Inc.
      +1 512.514.2966
      larry@cyc.com

      On Mon, Jan 13, 2014 at 5:27 AM, Himadri Khargharia ascoril@users.sf.netwrote:

      Hi All,

      I have created a microtheory, with some constants terms and assertions.
      But none of these are getting saved. Every time i restart the Cyc server.
      My microtheory goes off. If any body can help me in saving the microtheory
      so that next time it remains when i start my Cyc server, will be thankful.

      Thanks,

      Himadri

      Not able to save a MicroTheryhttps://sourceforge.net/p/opencyc/discussion/85727/thread/f9353386/?limit=25#417a

      Sent from sourceforge.net because you indicated interest in
      https://sourceforge.net/p/opencyc/discussion/85727/

      To unsubscribe from further messages, please visit
      https://sourceforge.net/auth/subscriptions/

       
      • Himadri Khargharia

        Thank you, Larry. It helped, I am able to access the details now.

         
  • Himadri Khargharia

    I have even tried the SubL expression:

    (WRITE-IMAGE "D:\myWorld.load")

    as is mentioned in one of the topics here. But that create a blank file and throwing lots of exceptions

     

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:





No, thanks