equivalent content instance (equivalentContentInstance)

A BinaryPredicate relating two instances of ContentBearingObject. (equivalentContentInstance obj1 obj2) means that the content expressed by obj1 is identical to the content expressed by obj2. An example would be the relationship between a handwritten draft of a letter to one's lawyer and a typed copy of the same letter. Note that (equivalentContentInstance obj1 obj2) implies (subsumesContentInstance obj1 obj2) and (subsumesContentInstance obj2 obj2).

Ontology

SUMO / BASE-ONTOLOGY

Class(es)

RelazioneDiEquivalenza

equivalent content instance

Superrelation(s)

subsumes content instance

equivalent content instance

Coordinate term(s)

cooccur copy equal equivalent content class family relation related internal concept

Type restrictions

equivalentContentInstance(OggettoSemiotico, OggettoSemiotico)

Related WordNet synsets

synonymously: in a synonymous manner; "the two terms are used synonymously"

See more related synsets on a separate page.

Axioms (3)

equivalent content instance é interamente correlato a equivalent content class.

(relatedInternalConcept equivalentContentInstance equivalentContentClass)

obj1 sussume il contenuto di obj2 e obj2 sussume il contenuto di obj1 se e solo se obj1 é equivalente a obj2.

(<=>
      (and
            (subsumesContentInstance ?OBJ1 ?OBJ2)
            (subsumesContentInstance ?OBJ2 ?OBJ1))
      (equivalentContentInstance ?OBJ1 ?OBJ2))

realization é interamente correlato a equivalent content instance.

(relatedInternalConcept realization equivalentContentInstance)