A terminology in which each term has a formal computer-processable definition of its meaning.

Notes