All Packages  Class Hierarchy  This Package  Previous  Next  Index

Class jkp.KifNegation 

java.lang.Object
   |
   +----jkp.KifObj
           |
           +----jkp.KifForm
                   |
                   +----jkp.KifSent
                           |
                           +----jkp.KifLogSent
                                   |
                                   +----jkp.KifNegation
public class KifNegation
extends KifLogSent
The class for KIF logical sentence, negation.

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

Author:
Xiaocheng Luan

Constructor Index

o KifNegation(KifSent)
Create an instance of KifNegation given the sentence to be negated.

Method Index

o body()
Get the body sentence of this negation.
o toString()
Convert this KIF sentence into String format.

Constructors

o KifNegation 
 public KifNegation(KifSent sentence)
Create an instance of KifNegation given the sentence to be negated.

Parameters:
sentence - the sentence to be negated.

Methods

o body 
 public KifSent body()
Get the body sentence of this negation.

Returns:
the body sentence of this negation.
o toString 
 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