Under an entailment account, a theory T is ontologically committed to Ks if and only if T entails th...