Definition

For Agora, in this context, “Definition” designatesa 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.