a semantic contract that fixes the meaning of a term in the graph; the key terms of other statements link to it. A definition is not contested in itself: you set a different definition of the same word against it. The graph then surfaces the ambiguity — several competing definitions for one term — instead of deciding.