訊息等同物 (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)

等同關係

訊息等同物

Superrelation(s)

包含訊息實例

訊息等同物

Coordinate term(s)

共生複製相等訊息等同類家族關係 SUMO內部相關概念

Type restrictions

equivalentContentInstance(內容載體, 內容載體)

Related WordNet synsets

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

See more related synsets on a separate page.

Axioms (3)

訊息等同物內部相關於訊息等同類.

(relatedInternalConcept equivalentContentInstance equivalentContentClass)

obj1 �]容 obj2 and obj2 �]容 obj1 if and only if obj1 訊息等同於 obj2.

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

實現內部相關於訊息等同物.

(relatedInternalConcept realization equivalentContentInstance)