public OntolinguaNamedSentence(string name, KifSentence sentence)
{
if (StringUtils.isEmpty(name))
{
throw new ArgumentException("name cann't be null or empty");
}
if (sentence == null)
{
throw new ArgumentNullException("sentence cann't be null");
}
_name = name;
_sentence = sentence;
}
public KifNegation(KifSentence sentence)
{
_sentence = sentence;
}
public KifExistentiallyQuantifiedSentence(KifSequence <KifVariableSpecification> varspec, KifSentence sentence)
: base(varspec, sentence)
{
}
protected KifQuantifiedSentence(KifSequence <KifVariableSpecification> varspec, KifSentence sentence)
{
_varspec = varspec;
_sentence = sentence;
}
public KifReverseImplication(KifSentence consequent, KifSequence <KifSentence> antecedents) : base(consequent, antecedents)
{
}
public KifReverseImplication(KifSentence consequent)
: base(consequent)
{
}
public KifImplication(KifSentence consequent, KifSequence <KifSentence> antecedents)
{
_antecedents = antecedents;
_consequent = consequent;
}
public KifImplication(KifSentence consequent)
{
_consequent = consequent;
}
public KifEquivalence(KifSentence leftSentence, KifSentence rightSentence)
{
_leftSentence = leftSentence;
_rightSentence = rightSentence;
}
