Class jkp.KifDisjunction
All Packages  Class Hierarchy  This Package  Previous  Next  Index

Class jkp.KifDisjunction

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

public class KifDisjunction
extends KifLogSent
The class for KIF logical sentence, negation.
Author:
Xiaocheng LUAN

Constructor Index

 o KifDisjunction(KifSeq)
 o KifDisjunction(KifSent, KifSeq)

Method Index

 o disjuncSeq()
 o toString()

Constructors

 o KifDisjunction
  public KifDisjunction(KifSeq sentSeq)
 o KifDisjunction
  public KifDisjunction(KifSent sent,
                        KifSeq sentSeq)

Methods

 o disjuncSeq
  public KifSeq disjuncSeq()
 o toString
  public String toString()
Overrides:
toString in class KifObj

All Packages  Class Hierarchy  This Package  Previous  Next  Index