Entailment (logical implication)

In Semantic Web, one of the key inference ideas; a relationship between two pieces of knowledge where the truth of the first piece of knowledge requires the truth of the other.