Class jkp.KifHornSent
All Packages Class Hierarchy This Package Previous Next Index
Class jkp.KifHornSent
java.lang.Object
|
+----jkp.KifObj
|
+----jkp.KifForm
|
+----jkp.KifSent
|
+----jkp.KifLogSent
|
+----jkp.KifHornSent
- public class KifHornSent
- extends KifLogSent
The class for KIF horn clause.
@version 1.0 Nov 11 1996
@author Xiaocheng LUAN
-
KifHornSent(KifRelSent, KifSeq)
-
-
KifHornSent(KifRelSent)
-
-
KifHornSent(KifSeq)
-
-
antecedenceSeq()
-
-
consequenceSent()
-
-
toString()
-
KifHornSent
public KifHornSent(KifRelSent head,
KifSeq condition)
KifHornSent
public KifHornSent(KifRelSent head)
KifHornSent
public KifHornSent(KifSeq condition)
antecedenceSeq
public KifSeq antecedenceSeq()
consequenceSent
public KifSent consequenceSent()
toString
public String toString()
- Overrides:
- toString in class KifObj
All Packages Class Hierarchy This Package Previous Next Index