If KB is a knowledge base and g is a conjunction of atoms, what is meant by KB |- g?
  • g can be derived from KB by means of the proof procedure

Valid HTML 4.0 Transitional