subsumes content class (subsumesContentClass)

A BinaryPredicate that relates two subclasses of ContentBearingObject. (subsumesContentClass class1 class2) means that the content expressed by each instance of class2 is also expressed by each instance of class1. Examples include the relationship between a poem and one of its stanzas or between a book and one of its chapters. Note that this is a relation between subclasses of ContentBearingObject, rather than instances. If one wants to relate instances, the Predicate subsumesContentInstance can be used. Note that subsumesContentClass is needed in many cases. Consider, for example, the relation between the King James edition of the Bible and its Book of Genesis. This relation holds for every copy of this edition and not just for a single instance.

Ontology

SUMO / BASE-ONTOLOGY

Class(es)

Classe

inheritable relation

PredicatoBinario
is instance of

RelazioneDiOrdineParziale
is instance of

subsumes content class

Subrelation(s)

equivalent content class

Coordinate term(s)

arc weight authors before or equal causes causes subclass citizen closed on connected contains information cooccur copy date decreases likelihood developmental form disjoint distributes documentation duration earlier editor element employs equal equivalence relation on exploits expressed in language faces family relation finishes frequency graph part greater than greater than or equal to has purpose has skill holds during holds obligation holds right hole identity element in list in scope of interest increases likelihood independent probability inhabits inhibits initial list instance inverse irreflexive on larger less than less than or equal to located material measure meets temporally modal attribute overlaps temporally parent part partial ordering on partly located path length possesses precondition prevents property publishes range range subclass refers reflexive on related internal concept sibling smaller starts sub attribute sub collection sub graph sub list sub process sub proposition subclass subrelation subsumes content instance successor attribute successor attribute closure temporal part time total ordering on trichotomizing on uses valence version

Type restrictions

subsumesContentClass(subclass OggettoSemiotico, subclass OggettoSemiotico)

Related WordNet synsets

See more related synsets on a separate page.

Axioms (6)

class1 sussume il contenuto di class2 e class2 sussume il contenuto di class1 se e solo se class1 é equivalente a class2.

(<=>
      (and
            (subsumesContentClass ?CLASS1 ?CLASS2)
            (subsumesContentClass ?CLASS2 ?CLASS1))
      (equivalentContentClass ?CLASS1 ?CLASS2))

class1 sussume il contenuto di class2 se e solo se per ogni obj2,info vale: se obj2 é un' istanza di class2 e obj2 contienes informazione info, allora esiste class1 obj1 tale che obj1 contienes informazione info.

(<=>
      (subsumesContentClass ?CLASS1 ?CLASS2)
      (forall
            (?OBJ2 ?INFO)
            (=>
                  (and
                        (instance ?OBJ2 ?CLASS2)
                        (containsInformation ?OBJ2 ?INFO))
                  (exists
                        (?OBJ1)
                        (and
                              (instance ?OBJ1 ?CLASS1)
                              (containsInformation ?OBJ1 ?INFO))))))

subsumes content instance é interamente correlato a subsumes content class.

(relatedInternalConcept subsumesContentInstance subsumesContentClass)

Se "edizione number di text1" is uguale a text2, allora text1 sussume il contenuto di text2.

(=>
      (equal
            (EditionFn ?TEXT1 ?NUMBER)
            ?TEXT2)
      (subsumesContentClass ?TEXT1 ?TEXT2))

Se "volume number nella serie series" is uguale a volume, allora series sussume il contenuto di volume.

(=>
      (equal
            (SeriesVolumeFn ?SERIES ?NUMBER)
            ?VOLUME)
      (subsumesContentClass ?SERIES ?VOLUME))

Se "il numero periodico number di periodical" is uguale a issue, allora periodical sussume il contenuto di issue.

(=>
      (equal
            (PeriodicalIssueFn ?PERIODICAL ?NUMBER)
            ?ISSUE)
      (subsumesContentClass ?PERIODICAL ?ISSUE))