Class jkp.KifHornSent
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

Constructor Index

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

Method Index

 o antecedenceSeq()
 o consequenceSent()
 o toString()

Constructors

 o KifHornSent
  public KifHornSent(KifRelSent head,
                     KifSeq condition)
 o KifHornSent
  public KifHornSent(KifRelSent head)
 o KifHornSent
  public KifHornSent(KifSeq condition)

Methods

 o antecedenceSeq
  public KifSeq antecedenceSeq()
 o consequenceSent
  public KifSent consequenceSent()
 o toString
  public String toString()
Overrides:
toString in class KifObj

All Packages  Class Hierarchy  This Package  Previous  Next  Index