gleichwertigeInhaltsfall (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)

Äquivalenzrelation

gleichwertigeInhaltsfall

Superrelation(s)

fasstInhaltsFallZusammen

gleichwertigeInhaltsfall

Coordinate term(s)

zusammenGeschiecht kopie %1 ist gleich %2 %n{nicht} gleichwertigeInhaltskategorie verwandt verwandtesInnenkonzept

Type restrictions

equivalentContentInstance(Inhaltsgegenstand, Inhaltsgegenstand)

Related WordNet synsets

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

See more related synsets on a separate page.

Axioms (3)

gleichwertigeInhaltsfall ist innerlich verwandt mit gleichwertigeInhaltskategorie .

(relatedInternalConcept equivalentContentInstance equivalentContentClass)

obj1 fasst das Inhalt von obj2 zusammen und obj2 fasst das Inhalt von obj1 zusammen nur wenn obj1 ist mit obj2 gleichwertig.

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

realizierung ist innerlich verwandt mit gleichwertigeInhaltsfall .

(relatedInternalConcept realization equivalentContentInstance)