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

Constructor Index

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

Method Index

 o antecedenceSeq()
 o consequenceSent()
 o toString()

Constructors

 o KifImplication
  public KifImplication(KifSent conSent,
                        KifSeq anteSeq)
 o KifImplication
  public KifImplication(KifSent conSent)
of type (=> sentence) or (<= sentence).

Methods

 o antecedenceSeq
  public KifSeq antecedenceSeq()
 o consequenceSent
  public KifSent consequenceSent()
 o toString
  public String toString()
Overrides:
toString in class KifObj

All Packages  Class Hierarchy  This Package  Previous  Next  Index