contains information (containsInformation)

A subrelation of represents. This predicate relates a ContentBearingObject to the Proposition that is expressed by the ContentBearingObject. Examples include the relationships between a physical novel and its story and between a printed score and its musical content.

Ontologie

SUMO / BASE-ONTOLOGY

Class(es)

třída

inheritable relation

binární predikát
is instance of

nesymetrická relace
is instance of

contains information

Superrelation(s)

refers

represents

contains information

Související termín(y)

back fn cardinality fn front fn principal host fn probability fn skin fn arc weight attribute authors before or equal causes causes subclass citizen closed on completely fills connected cooccur copy crosses date decreases likelihood developmental form disjoint distributes documentation duration earlier editor element employs equal equivalence relation on exploits expressed in language faces family relation fills finishes frequency graph part greater than greater than or equal to has purpose has skill holds during holds obligation holds right hole identity element immediate instance immediate subclass 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 manner material measure meets temporally member modal attribute overlaps temporally parent partial ordering on partially fills partly located path length penetrates possesses precondition prevents proper part properly fills property publishes range range subclass realization 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 subsumes content instance successor attribute successor attribute closure surface temporal part time total ordering on trichotomizing on uses valence version

Typy argumentů

containsInformation(objekt nesoucí informaci, výrok)

Related WordNet synsets

embodied: expressed by; "the idea embodied in the text"

See more related synsets on a separate page.

Axiomy (10)

objekt nesoucí informaci je internally related to contains information.

(relatedInternalConcept ContentBearingObject containsInformation)

subsumes content class(class1,class2) platí tehdy a jen tehdy pokud pro všechny obj2,info platí: jestliže obj2 je instancí třídy class2 a obj2 contains information info, potom existuje class1 obj1 tak, že obj1 contains information 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(obj1,obj2) platí tehdy a jen tehdy pokud pro všechny info platí: jestliže obj2 contains information info, potom obj1 contains information info.

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

realization je internally related to contains information.

(relatedInternalConcept realization containsInformation)

Jestliže realization(process,prop) platí, potom existuje objekt nesoucí informaci obj tak, že obj contains information prop.

(=>
      (realization ?PROCESS ?PROP)
      (exists
            (?OBJ)
            (and
                  (instance ?OBJ ContentBearingObject)
                  (containsInformation ?OBJ ?PROP))))

jestliže sub proposition(prop1,prop2) platí,
potom pro všechny obj1,obj2 platí: jestliže obj1 contains information prop1 a obj2 contains information prop2, potom subsumes content instance(obj2,obj1) platí

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

Jestliže read je instancí třídy čtení, potom existují text text,prop tak, že text contains information prop a realization(read,prop) platí.

(=>
      (instance ?READ Reading)
      (exists
            (?TEXT ?PROP)
            (and
                  (instance ?TEXT Text)
                  (containsInformation ?TEXT ?PROP)
                  (realization ?READ ?PROP))))

Jestliže decode je instancí třídy dekódování a doc1 je účastníkem decode, potom existují encode,doc2,time tak, že doc2 contains information prop a doc1 contains information prop a time je a part of před doba existence decode a encode je instancí třídy kódování a doc2 je účastníkem encode během time.

(=>
      (and
            (instance ?DECODE Decoding)
            (patient ?DECODE ?DOC1))
      (exists
            (?ENCODE ?DOC2 ?TIME)
            (and
                  (containsInformation ?DOC2 ?PROP)
                  (containsInformation ?DOC1 ?PROP)
                  (temporalPart
                        ?TIME
                        (PastFn
                              (WhenFn ?DECODE)))
                  (holdsDuring
                        ?TIME
                        (and
                              (instance ?ENCODE Encoding)
                              (patient ?ENCODE ?DOC2))))))

Jestliže text je instancí třídy text, potom existuje výrok prop tak, že text contains information prop.

(=>
      (instance ?TEXT Text)
      (exists
            (?PROP)
            (and
                  (instance ?PROP Proposition)
                  (containsInformation ?TEXT ?PROP))))

Jestliže plan je instancí třídy plán a obj je instancí třídy objekt nesoucí informaci a obj contains information plan, potom existuje plánování planning tak, že obj je výsledkem planning.

(=>
      (and
            (instance ?PLAN Plan)
            (instance ?OBJ ContentBearingObject)
            (containsInformation ?OBJ ?PLAN))
      (exists
            (?PLANNING)
            (and
                  (instance ?PLANNING Planning)
                  (result ?PLANNING ?OBJ))))