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)

varga

inheritable relation

dvi-lakshana
is instance of

aanshika anukrama sambandha
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(tatva-vaahaka padaartha, tatva-vaahaka padaartha)

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 aur obj2 subsumes the content of obj1 agar hai 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 agar hai sab-kuch info ke lie hai, ki: agar obj2 contains information info, to obj1 contains information info.

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

agar prop1 is a sub-proposition of prop2,
to sab-kuch obj1,obj2 ke lie hai, ki: agar obj1 contains information prop1 aur obj2 contains information prop2, to obj2 subsumes the content of obj1

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

Agar text is an instance of saaransha, to yah kuch vishaya text2 nahin, ki text2 subsumes the content of text.

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

Agar series is an instance of shQnkhalaa, to yah kuch pustaka book1,pustaka book2 nahin, ki series subsumes the content of book1 aur series subsumes the content of book2 aur 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)))))

Agar article is an instance of anychchhaeda, to yah kuch pustaka book nahin, ki book subsumes the content of article.

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