Associating ontological commitment to Ks with the existential claim '∃x Kx' entails that commitment ...