[ Skip to the content ]

Institute of Formal and Applied Linguistics Wiki

[ Back to the navigation ]

EQU: Equivalence

Definition: The expression (e1 EQU e2) states that the entities e1 and e2 are intensionally equal. The relation is symmetric, reflexive and transitive (i.e. it is an equivalence relation).
Company is equal to Fujitsu ltd.

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 ]