Not able to save a MicroThery

  • 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 Lefkowitz, Ph.D.
    Executive Director, Business Solutions
    Cycorp, Inc.
    +1 512.514.2966

    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.



    Not able to save a MicroThery

    Sent from because you indicated interest in

    To unsubscribe from further messages, please visit