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)

equivalence relation

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(content bearing object, content bearing object)

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 is internally related to equivalent content class.

(relatedInternalConcept equivalentContentInstance equivalentContentClass)

obj1 subsumes the content of obj2 and obj2 subsumes the content of obj1 if and only if obj1 is equivalent to obj2.

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

realization is internally related to equivalent content instance.

(relatedInternalConcept realization equivalentContentInstance)