    All Packages  Class Hierarchy  This Package  Previous  Next  Index

# Class jkp.KifEquivalence

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

public class KifEquivalence
extends KifLogSent

The class for KIF logical sentence, KifEquivalence.

Author:
  Xiaocheng LUAN

##

KifEquivalence(KifSent, KifSent)

##

leftSent()
rightSent()
toString()

##

KifEquivalence

      public KifEquivalence(KifSent sent1,
                            KifSent sent2)

##

leftSent

      public KifSent leftSent()

rightSent

      public KifSent rightSent()

toString

      public String toString()

Overrides:
  toString in class KifObj

    All Packages  Class Hierarchy  This Package  Previous  Next  Index