    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

##

KifDisjunction(KifSeq)
KifDisjunction(KifSent, KifSeq)

##

disjuncSeq()
toString()

##

KifDisjunction

      public KifDisjunction(KifSeq sentSeq)

KifDisjunction

      public KifDisjunction(KifSent sent,
                            KifSeq sentSeq)

##

disjuncSeq

      public KifSeq disjuncSeq()

toString

      public String toString()

Overrides:
  toString in class KifObj

    All Packages  Class Hierarchy  This Package  Previous  Next  Index