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, disjunction.

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

Author:
Xiaocheng Luan

Constructor Index

o KifDisjunction(KifSent, KifSeq)
Create a KIF disjunction from a single kif sentence and a sequence of kif sequences.
o KifDisjunction(KifSeq)
Create a KIF disjunction from a kif sentence sequence.

Method Index

o disjuncSeq()
get the sequence of sentences in this disjunction.
o toString()
Convert this KIF sentence(disjunction) in to string format.

Constructors

o KifDisjunction 
 public KifDisjunction(KifSeq sentSeq)
Create a KIF disjunction from a kif sentence sequence.

Parameters:
sentSeq - the sequence of sentences in the created disjunction
o KifDisjunction 
 public KifDisjunction(KifSent sent,
                       KifSeq sentSeq)
Create a KIF disjunction from a single kif sentence and a sequence of kif sequences.

Parameters:
sentSeq - the sequence of sentences that would be part of the created disjunction
sent - the sentence that would be part of the created disjunction

Methods

o disjuncSeq 
 public KifSeq disjuncSeq()
get the sequence of sentences in this disjunction.

Returns:
the sequence of sentences in this disjunction.
o toString 
 public String toString()
Convert this KIF sentence(disjunction) in to string format.

Returns:
the KIF sentence(disjunction) in string format.
Overrides:
toString in class KifObj 
All Packages  Class Hierarchy  This Package  Previous  Next  Index