Select language: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Concept:
English word:
Home

包含訊息實例 (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)

種類
is instance of
  可繼承關係  
is instance of
  二元述詞  
is instance of
偏序關係
is instance of
is instance of
  包含訊息實例  

Subrelation(s)

訊息等同物 

Coordinate term(s)

弧線重量  作者  先於或同時  肇因  次類肇因  公民  封閉於  相連的  包含訊息  共生  複製  日期  降低可能性  發展期形式  無交集  分配  文字說明  持續時間  較早  編者  元素  雇用  相等  等同關係於  利用  以...語言表達  面對  家族關係  完成  次數  圖部分  大於  大於或等於  有意圖  有技巧  在...期間為真  須使...為真  有權使...為真  洞  同一元素  串列中  在注意範圍中  增加可能性  獨立或然率  居住  抑制  初始化序列  實例  倒序  非反射於...  大於  小於  小於或等於  位於  物質  測量  時段相接  情態屬性  時段重疊  雙親  部分  偏序於...  部分位於  路徑長  擁有  先決條件  避免  特性  出版  範圍  範圍次種類  提及  反射於...  SUMO內部相關概念  兄弟姊妹  小於  開始  次屬性  次聚集  次圖  次序列  次歷程  次命題  次種類  次關係  包含訊息種類  續接屬性  封閉續接屬性  時間部分  時間  全序於...  三分法  使用  （結合）價  人造物版本 

Type restrictions

subsumesContentInstance(內容載體, 內容載體)

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"
component is kind of (all)...   component is kind of...   kinds of component...   kinds of component (all)...  

Axioms (7)

obj1 �]容 obj2 and obj2 �]容 obj1 if and only if obj1 訊息等同於 obj2. 
(<=>
      (and
            (subsumesContentInstance ?OBJ1 ?OBJ2)
            (subsumesContentInstance ?OBJ2 ?OBJ1))
      (equivalentContentInstance ?OBJ1 ?OBJ2))
包含訊息實例 內部相關於 包含訊息種類. 
(relatedInternalConcept subsumesContentInstance subsumesContentClass)
obj1 �]容 obj2 if and only if for all info holds: if obj2 (不) �]含s) 訊息 %2, then obj1 (不) �]含s) 訊息 %2. 
(<=>
      (subsumesContentInstance ?OBJ1 ?OBJ2)
      (forall
            (?INFO)
            (=>
                  (containsInformation ?OBJ2 ?INFO)
                  (containsInformation ?OBJ1 ?INFO))))
(=>
      (subProposition ?PROP1 ?PROP2)
      (forall
            (?OBJ1 ?OBJ2)
            (=>
                  (and
                        (containsInformation ?OBJ1 ?PROP1)
                        (containsInformation ?OBJ2 ?PROP2))
                  (subsumesContentInstance ?OBJ2 ?OBJ1))))
If text 是 摘要 的 實例, then there exists 文本 text2 so that text2 �]容 text. 
(=>
      (instance ?TEXT Summary)
      (exists
            (?TEXT2)
            (and
                  (instance ?TEXT2 Text)
                  (subsumesContentInstance ?TEXT2 ?TEXT))))
If series 是 系列刊物 的 實例, then there exist 書籍 book1,書籍 book2 so that series �]容 book1 and series �]容 book2 and book1 等於 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 是 文章 的 實例, then there exists 書籍 book so that book �]容 article. 
(=>
      (instance ?ARTICLE Article)
      (exists
            (?BOOK)
            (and
                  (instance ?BOOK Book)
                  (subsumesContentInstance ?BOOK ?ARTICLE))))