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
-
KifFunTerm(String)
-
-
KifFunTerm(String, KifSeq)
-
-
funconst()
-
-
termSeq()
-
-
toString()
-
KifFunTerm
public KifFunTerm(String termString)
KifFunTerm
public KifFunTerm(String funconst,
KifSeq termSeq)
funconst
public String funconst()
- Returns:
- Return the functional constant, which is the name.
termSeq
public KifSeq termSeq()
- Returns:
- Return the term sequence(arguments) of this functional term.
toString
public String toString()
- Overrides:
- toString in class KifTerm
All Packages Class Hierarchy This Package Previous Next Index