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

Constructor Index

 o KifEquivalence(KifSent, KifSent)

Method Index

 o leftSent()
 o rightSent()
 o toString()

Constructors

 o KifEquivalence
  public KifEquivalence(KifSent sent1,
                        KifSent sent2)

Methods

 o leftSent
  public KifSent leftSent()
 o rightSent
  public KifSent rightSent()
 o toString
  public String toString()
Overrides:
toString in class KifObj

All Packages  Class Hierarchy  This Package  Previous  Next  Index