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).

Ontologie

SUMO / BASE-ONTOLOGY

Class(es)

relace ekvivalence

equivalent content instance

Superrelation(s)

subsumes content instance

equivalent content instance

Související termín(y)

cooccur copy equal equivalent content class family relation related internal concept

Typy argumentů

equivalentContentInstance(objekt nesoucí informaci, objekt nesoucí informaci)

Related WordNet synsets

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

See more related synsets on a separate page.

Axiomy (3)

equivalent content instance je internally related to equivalent content class.

(relatedInternalConcept equivalentContentInstance equivalentContentClass)

subsumes content instance(obj1,obj2) platí a subsumes content instance(obj2,obj1) platí tehdy a jen tehdy pokud equivalent content instance(obj1,obj2) platí.

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

realization je internally related to equivalent content instance.

(relatedInternalConcept realization equivalentContentInstance)