All Packages  Class Hierarchy  This Package  Previous  Next  Index

Class jkp.KifConjunction 

java.lang.Object
   |
   +----jkp.KifObj
           |
           +----jkp.KifForm
                   |
                   +----jkp.KifSent
                           |
                           +----jkp.KifLogSent
                                   |
                                   +----jkp.KifConjunction
public class KifConjunction
extends KifLogSent
The class for Conjuction, one type of KIF logical sentence.

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

Author:
Xiaocheng Luan

Constructor Index

o KifConjunction(KifSent, KifSeq)
Create a KifConjunction object from a single sentence and a sequence of sentences.
o KifConjunction(KifSeq)
Create a KifConjunction object from a sequence of sentences.

Method Index

o conjuncSeq()
Return the sentence sequence in the this conjunction.
o toString()
Convert the conjunction sentence into string format.

Constructors

o KifConjunction 
 public KifConjunction(KifSeq sentSeq)
Create a KifConjunction object from a sequence of sentences.

Parameters:
sentSeq - the sequence of sentences in the conjunction.
o KifConjunction 
 public KifConjunction(KifSent sent,
                       KifSeq sentSeq)
Create a KifConjunction object from a single sentence and a sequence of sentences.

Parameters:
sent - the single sentence.
sentSeq - the sequence of sentence.

Methods

o conjuncSeq 
 public KifSeq conjuncSeq()
Return the sentence sequence in the this conjunction.

Returns:
the sentence sequence in the this conjunction.
o toString 
 public String toString()
Convert the conjunction sentence into string format.

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