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

Kategorie

inheritable relation

zweistellige Prädikat
is instance of

Halbordnungsrelation
is instance of

fasstInhaltsKategorieZusammen

Subrelation(s)

gleichwertigeInhaltskategorie

Coordinate term(s)

arctusGewicht schreibt vorOderGleichzeitig verursacht causes subclass bürger aufgeschlossen angeschlossen enthältInformationen zusammenGeschiecht kopie datum verringertWahrscheinlichkeit entwicklungsForm disjunkt istDistributiv dokumentation &%dauer von %1 ist %2 %n{nicht} früh herausgeber element beschäftigt %1 ist gleich %2 %n{nicht} äquivalenzrelationMit nutztAus inSpracheAusgedrückt stelltGegenüber verwandt beendet frequenz graphenTeil grösserAls grösserAlsOderGleich hatZweck hatFähigkeit hältWährend hatVerpflichtung hatRecht loch identitätsElement inListe imBereichInteresses vergrössertWahrscheinlichkeit Unabhänigkeitswahrscheinlichkeit wohnt hemmt ausgangsList fall umkehrFunktion irreflexivAur grösser kleinerAls kleinerAlsOderGleich befindetSich material mass schliesstZeitlichAn modalesAttribute decktSichZeitlich elternteil teil teilweiseEinrichtung befindetSichTeils pfadLänge besitzt vorbedingung verhindert eigenschaft veröffentlicht &%bildbereich von %1 ist ein fall von %2 {nicht} bildbereichTeilkategorie beziehtSichAuf reflexivAuf verwandtesInnenkonzept geschwister kleiner beginnt teilAttribut teilsammlung teilGraph teilliste subProzess %1 ist eine &%teilangelegenheit von %2 %n{nicht} teilkategorie teilrelation fasstInhaltsFallZusammen nachfolgerAttribut nachfolgerAttributSchliessung zeitlichesTeil zeit gesamteinrichtung trichotomizierungAuf verwendet valenz version

Type restrictions

subsumesContentClass(subclass Inhaltsgegenstand, subclass Inhaltsgegenstand)

Related WordNet synsets

See more related synsets on a separate page.

Axioms (6)

class1 fasst das Inhalt von class2 zusammen und class2 fasst das Inhalt von class1 zusammen nur wenn class1 ist mit class2 gleichwertig.

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

class1 fasst das Inhalt von class2 zusammen nur wenn für jeden obj2,info gilt: wenn obj2 ist ein fall von class2 und obj2 enthält Informationen über info, dann es gibt ein class1 obj1 der obj1 enthält Informationen über info.

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

fasstInhaltsFallZusammen ist innerlich verwandt mit fasstInhaltsKategorieZusammen .

(relatedInternalConcept subsumesContentInstance subsumesContentClass)

Wenn "ausgabe number von text1" ist gleich text2 , dann text1 fasst das Inhalt von text2 zusammen.

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

Wenn "Band number in der reihe series" ist gleich volume , dann series fasst das Inhalt von volume zusammen.

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

Wenn "die Zahl von periodikum number von periodical" ist gleich issue , dann periodical fasst das Inhalt von issue zusammen.

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