public FormulaCollection(KnowledgeBase kb) { _kb = kb.Intern; }
/// <summary> /// This constructor is usually not called by the user /// </summary> public KnowledgeBase(com.articulate.sigma.KB kb) { _kb = kb; }