Т.е. база знаний KB непоследовательна (не непротиворечива) тогда и только тогда, когда нет интерпретации , которая влечет за собой KB.
Непротиворечивость с точки зрения баз знаний в основном совпадает с естественным пониманием непротиворечивости .