Class jkp.KifFunTerm
All Packages  Class Hierarchy  This Package  Previous  Next  Index

Class jkp.KifFunTerm

java.lang.Object
   |
   +----jkp.KifObj
           |
           +----jkp.KifTerm
                   |
                   +----jkp.KifFunTerm

public class KifFunTerm
extends KifTerm
The class for KIF functional term
Author:
Xiaocheng LUAN

Constructor Index

 o KifFunTerm(String)
 o KifFunTerm(String, KifSeq)

Method Index

 o funconst()
 o termSeq()
 o toString()

Constructors

 o KifFunTerm
  public KifFunTerm(String termString)
 o KifFunTerm
  public KifFunTerm(String funconst,
                    KifSeq termSeq)

Methods

 o funconst
  public String funconst()
Returns:
Return the functional constant, which is the name.
 o termSeq
  public KifSeq termSeq()
Returns:
Return the term sequence(arguments) of this functional term.
 o toString
  public String toString()
Overrides:
toString in class KifTerm

All Packages  Class Hierarchy  This Package  Previous  Next  Index