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

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

Author:

Xiaocheng Luan

KifImplication(KifSent)

Create a KifImplication object with given antecedent and consequence.

KifImplication(KifSent, KifSeq)

Create a KifImplication object with given antecedent and consequence.

antecedenceSeq()

Get the sequence of antecedent sentences.

consequenceSent()

Get the consequence sentence.

toString()

Convert this KIF sentence into String format.

 public KifImplication(KifSent conSent,
                       KifSeq anteSeq)

Create a KifImplication object with given antecedent and consequence.

Parameters:

conSent - the consequence sentence.

anteSeq - the sequence of antecedent sentences.

 public KifImplication(KifSent conSent)

Create a KifImplication object with given antecedent and consequence. of the forms (=> sentence) or (<= sentence). The KIF specification for this logical implication is ambigious, Thus this constructor may be changed or even dropped later.

Parameters:

conSent - the consequence sentence.

 public KifSeq antecedenceSeq()

Get the sequence of antecedent sentences.

Returns:

the sequence of antecedent sentences.

 public KifSent consequenceSent()

Get the consequence sentence.

Returns:

the consequence sentence.

 public String toString()

Convert this KIF sentence into String format.

Returns:

this KIF sentence in String format.

Overrides:

toString in class KifObj

All Packages  Class Hierarchy  This Package  Previous  Next  Index