kaibli lujvo

having property x1 semantically entails having property x2.

See also nei'i.