    All Packages  Class Hierarchy  This Package  Previous  Next  Index

# Class jkp.KifImplication

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

public class KifImplication
extends KifLogSent

The class for KIF logical sentence, KifImplication.

Author:
  Xiaocheng LUAN

##

KifImplication(KifSent, KifSeq)
KifImplication(KifSent)
  of type (=> sentence) or (<= sentence).

##

antecedenceSeq()
consequenceSent()
toString()

##

KifImplication

      public KifImplication(KifSent conSent,
                            KifSeq anteSeq)

KifImplication

      public KifImplication(KifSent conSent)

  of type (=> sentence) or (<= sentence).

##

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