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 horn clause. Please note that there is no horn clause definition in KIF. We add the definition for horn clause to please many applications that focuse on horn cluse based inference.

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

Author:
Xiaocheng Luan

Constructor Index

o KifHornSent(KifRelSent)
o KifHornSent(KifRelSent, KifSeq)
o KifHornSent(KifSeq)

Method Index

o antecedenceSeq()
o consequenceSent()
o toString()
Convert this KIF object into String format.

Constructors

o KifHornSent 
 public KifHornSent(KifRelSent head,
                    KifSeq condition)
o KifHornSent 
 public KifHornSent(KifRelSent head)
o KifHornSent 
 public KifHornSent(KifSeq condition)

Methods

o antecedenceSeq 
 public KifSeq antecedenceSeq()
o consequenceSent 
 public KifSent consequenceSent()
o toString 
 public String toString()
Convert this KIF object into String format.

Overrides:
toString in class KifObj 
All Packages  Class Hierarchy  This Package  Previous  Next  Index