Class jkp.KifImplication
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
The class for KIF logical sentence, KifImplication.
- Author:
- Xiaocheng LUAN
-
KifImplication(KifSent, KifSeq)
-
-
KifImplication(KifSent)
- of type (=> sentence) or (<= sentence).
-
antecedenceSeq()
-
-
consequenceSent()
-
-
toString()
-
KifImplication
public KifImplication(KifSent conSent,
KifSeq anteSeq)
KifImplication
public KifImplication(KifSent conSent)
- of type (=> sentence) or (<= sentence).
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