Assertion: negation | /r/HasProperty | characterized by unary function
Facets:
value: semantically
type: MANNER
value: on the set
type: LOCATION
Source sentences:
text: Negation, \(\osim \), is semantically characterized by the unary function \(f_{\osim }\) on the set \(\{1, 0\}\), defined by the following truth table: