public KifExplicitRelationalSentence(KifSequence <KifTerm> terms, KifSequenceVariable variable) : base(new KifConstant(CONSTANT_NAME), terms, variable)
 {
     if (terms.isEmpty())
     {
         throw new ArgumentException("Sequence of terms cann't be empty");
     }
 }
 public KifRelationalSentence(KifConstant constant, KifSequence <KifTerm> terms, KifSequenceVariable variable)
 {
     if (constant == null)
     {
         throw new ArgumentNullException("Constant cann't be null");
     }
     _constant = constant;
     _variable = variable;
     _terms    = new KifSequence <KifTerm>(terms);
 }
 public KifExplicitFunctionalTerm(KifSequence <KifTerm> termSeq, KifSequenceVariable sequenceVariable) : base(CONSTANT_NAME, checkSeqTerm(termSeq), sequenceVariable)
 {
 }
 public KifFunctionalTerm(String constantName, KifSequence <KifTerm> termSeq, KifSequenceVariable sequenceVariable) : base(constantName)
 {
     _termSeq     = new KifSequence <KifTerm>(termSeq);
     _sequenceVar = sequenceVariable;
 }