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
-
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