subsumes content instance (subsumesContentInstance)

A BinaryPredicate relating two instances of ContentBearingObject. (subsumesContentInstance obj1 obj2) means that the content expressed by obj2 is part of the content expressed by obj1. An example is the relationship between a handwritten poem and one of its stanzas. Note that this is a relation between instances, rather than Classes. If one wants to assert a content relationship between Classes, e.g. between the version of an intellectual work and a part of that work, the relation subsumesContentClass should be used.

Ontology

SUMO / BASE-ONTOLOGY

Class(es)

class

inheritable relation

binary predicate
is instance of

partial ordering relation
is instance of

subsumes content instance

Subrelation(s)

equivalent content instance

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 class successor attribute successor attribute closure temporal part time total ordering on trichotomizing on uses valence version

Type restrictions

subsumesContentInstance(content bearing object, content bearing object)

Related WordNet synsets

component, constituent, element, factor, ingredient: an abstract part of something: "jealousy was a component of his character"; "two constituents of a musical composition are melody and harmony"; "the grammatical elements of a sentence"; "a key factor in her success"; "humor: an effective ingredient of a speech"

Axioms (7)

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

subsumes content instance is internally related to subsumes content class.

(relatedInternalConcept subsumesContentInstance subsumesContentClass)

obj1 subsumes the content of obj2 if and only if for all info holds: if obj2 contains information info, then obj1 contains information info.

(<=>
      (subsumesContentInstance ?OBJ1 ?OBJ2)
      (forall
            (?INFO)
            (=>
                  (containsInformation ?OBJ2 ?INFO)
                  (containsInformation ?OBJ1 ?INFO))))

if prop1 is a sub-proposition of prop2,
then for all obj1,obj2 holds: if obj1 contains information prop1 and obj2 contains information prop2, then obj2 subsumes the content of obj1

(=>
      (subProposition ?PROP1 ?PROP2)
      (forall
            (?OBJ1 ?OBJ2)
            (=>
                  (and
                        (containsInformation ?OBJ1 ?PROP1)
                        (containsInformation ?OBJ2 ?PROP2))
                  (subsumesContentInstance ?OBJ2 ?OBJ1))))

If text is an instance of summary, then there exists text text2 so that text2 subsumes the content of text.

(=>
      (instance ?TEXT Summary)
      (exists
            (?TEXT2)
            (and
                  (instance ?TEXT2 Text)
                  (subsumesContentInstance ?TEXT2 ?TEXT))))

If series is an instance of series, then there exist book book1,book book2 so that series subsumes the content of book1 and series subsumes the content of book2 and book1 is not equal to book2.

(=>
      (instance ?SERIES Series)
      (exists
            (?BOOK1 ?BOOK2)
            (and
                  (instance ?BOOK1 Book)
                  (instance ?BOOK2 Book)
                  (subsumesContentInstance ?SERIES ?BOOK1)
                  (subsumesContentInstance ?SERIES ?BOOK2)
                  (not
                        (equal ?BOOK1 ?BOOK2)))))

If article is an instance of article, then there exists book book so that book subsumes the content of article.

(=>
      (instance ?ARTICLE Article)
      (exists
            (?BOOK)
            (and
                  (instance ?BOOK Book)
                  (subsumesContentInstance ?BOOK ?ARTICLE))))