[ Skip to the content ]

Institute of Formal and Applied Linguistics Wiki

[ Back to the navigation ]

NON: Family of Functions Specifying Negation

Definition: The operator NON stands for a family of 3 functions that:

1. generate a complementary negated relation from a given relation.
e.g. “Yesterday Renate did not buy a bicycle in Berlin.”
This does not exclude that she bought something else in Berlin.


2. build a negated modal term from a modality.
e.g. “The wing must not be damaged.”


3. represent the truth value “false” as a zero-place function.
e.g. here is negation of a whole situation;
“Yesterday Renate bought nothing in Berlin.”

MultiNet (Multilayered Extended Semantic Networks) is developed and maintained
by Intelligent Information and Communication Systems Department of FernUniversität in Hagen.

[ Back to the navigation ] [ Back to the content ]