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; }