antonym/antonym

Semantics:
[[m]] is the proposition that some concepts [[i]] and [[j]] are antonyms.

Example:
"Hot" and "cold" are antonyms.
(assert antonym (build lex "hot") antonym (build lex "cold"))