Subscribe

HL formula in SubL?

Add A Reply
  1. zhezhe

    2011-03-14 18:35:04 PDT
    how to write HL formula in SubL ? For example, how to write this assertion '(#$isa #$BillClinton #$MaleHuman) with HL formula in SubL ?
  2. apohllo

    2011-03-16 09:40:51 PDT
    From SubL API: function FI-ASSERT : (formula mt &optional strength direction) Assert the FORMULA in the specified MT. STRENGTH is :default or :monotonic. DIRECTION is :forward or :backward. GAF assertion direction defaults to :forward, and rule assertion direction defaults to :backward. Return T if there was no error. Single value returned satisfies BOOLEANP. BTW the Navicyc (https://sourceforge.net/projects/opencyc/forums/forum/85727/topic/3921218) project has a build in support for SubL documentation.
Jump To:
< Previous | 1 | Next >

Add a Reply

This forum does not allow anonymous participation.

Log in to add a reply. Not registered? Create an account to participate and receive email updates when replies are posted to this topic.