    All Packages  Class Hierarchy  This Package  Previous  Next  Index

# Class jkp.KifHornSent

    java.lang.Object
       |
       +----jkp.KifObj
               |
               +----jkp.KifForm
                       |
                       +----jkp.KifSent
                               |
                               +----jkp.KifLogSent
                                       |
                                       +----jkp.KifHornSent

public class KifHornSent
extends KifLogSent

The class for KIF horn clause. @version 1.0 Nov 11 1996 @author Xiaocheng LUAN

##

KifHornSent(KifRelSent, KifSeq)
KifHornSent(KifRelSent)
KifHornSent(KifSeq)

##

antecedenceSeq()
consequenceSent()
toString()

##

KifHornSent

      public KifHornSent(KifRelSent head,
                         KifSeq condition)

KifHornSent

      public KifHornSent(KifRelSent head)

KifHornSent

      public KifHornSent(KifSeq condition)

##

antecedenceSeq

      public KifSeq antecedenceSeq()

consequenceSent

      public KifSent consequenceSent()

toString

      public String toString()

Overrides:
  toString in class KifObj

    All Packages  Class Hierarchy  This Package  Previous  Next  Index