About: equality   Goto Sponge  NotDistinct  Permalink

An Entity of Type : owl:NamedIndividual, within Data Space : covidontheweb.inria.fr associated with source document(s)

AttributesValues
type
subClassOf
preferred label
  • equality
described by
definition
  • In every value space there is a notion of equality, for which the following rules hold: - for any two instances (a, b) of values from the value space, either a is equal to b, denoted a = b , or a is not equal to b, denoted a ≠ b ; - there is no pair of instances (a, b) of values from the value space such that both a = b and a ≠ b ; - for every value a from the value space, a = a ; - for any two instances (a, b) of values from the value space, a = b if and only if b = a ; - for any three instances (a, b, c) of values from the value space, if a = b and b = c , then a = c . On every datatype, the operation Equal is defined in terms of the equality property of the value space, by: - for any values a, b drawn from the value space, Equal(a,b) is true if a = b , and false otherwise. [ISO11404]
has close match
is topic of
Faceted Search & Find service v1.13.91 as of Mar 24 2020


Alternative Linked Data Documents: Sponger | ODE     Content Formats:       RDF       ODATA       Microdata      About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data]
OpenLink Virtuoso version 07.20.3229 as of Jul 10 2020, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (94 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software