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.

Copyright (c) 1996, Xiaocheng Luan. All rights reserved.

Author:
Xiaocheng Luan

Constructor Index

o KifEquivalence(KifSent, KifSent)
Create a KIF equivalence logical sentence from two given sentences.

Method Index

o leftSent()
Get one of the two sentences in the equivalence sentence.
o rightSent()
Get the other one of the two sentences in the equivalence sentence.
o toString()
Convert this sentence into String format.

Constructors

o KifEquivalence 
 public KifEquivalence(KifSent sent1,
                       KifSent sent2)
Create a KIF equivalence logical sentence from two given sentences.

Methods

o leftSent 
 public KifSent leftSent()
Get one of the two sentences in the equivalence sentence.

Returns:
one of the two sentences in the equivalence sentence.
See Also:
rightSent
o rightSent 
 public KifSent rightSent()
Get the other one of the two sentences in the equivalence sentence.

Returns:
the other one of the two sentences in the equivalence sentence.
See Also:
leftSent
o toString 
 public String toString()
Convert this sentence into String format.

Returns:
this sentence in string format
Overrides:
toString in class KifObj 
All Packages  Class Hierarchy  This Package  Previous  Next  Index