Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  subsumesContentClass

Sigma KEE - subsumesContentClass
subsumesContentClass

appearance as argument number 1
-------------------------


(documentation subsumesContentClass ChineseLanguage "这是个联系两个 ContentBearingPhysical 子类别的 BinaryPredicate,(subsumesContentClass ?CLASS1 ?CLASS2) 的意思是由 ?CLASS1 的每一个实例所表达的内容,也由 ?CLASS2 的每一个实例表达。例如: 一首诗和这首诗的一节或一本书和这本书的一章的关系。 注:这是 ContentBearingObject 的子类别之间的关系, 而不是实例之间的关系。如果要联系实例时,可以用 Predicate subsumesContentInstance。也要注意 我们在很多情况下都需要用 subsumesContentClass is needed in many cases. 例如: 圣经的国王詹姆斯版本和它的创世记书之间的关系, 这个关系适用于此版本的每个副本,而不仅仅是单一的实例。") chinese_format.kif 2181-2187
(documentation subsumesContentClass EnglishLanguage "A BinaryPredicate that relates two subclasses of ContentBearingPhysical. (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.") Merge.kif 4523-4534
(documentation subsumesContentClass JapaneseLanguage "BinaryPredicate は、 ContentBearingPhysical の2つのサブクラスを関連付ける 。(subsumesContentClass ?CLASS1 ?CLASS2) とは、?CLASS2の各インスタンスによって表されるコンテンツも ?CLASS1の各インスタンスによっ て表される。 例:詩とそのスタンザの1つまたは本とその章の間の関係。 注1:これはインスタンスでは なく、ContentBearingObject のサブクラス間の関係である。インスタンスを関連付けたい場合は、 Predicate subsumesContentInstance を使用できる。 注2:多くの場合、subsumesContentClass が必要である。例えば、聖書のジェームズ王版とその創世記との関係を考えてみる。このリレーションシップは、 単一のインスタンスだけでなく、このエディションのすべてのコピーに対して当てはまる。") japanese_format.kif 842-849
(domainSubclass subsumesContentClass 1 ContentBearingPhysical) Merge.kif 4520-4520
(domainSubclass subsumesContentClass 2 ContentBearingPhysical) Merge.kif 4521-4521
(instance subsumesContentClass BinaryPredicate) Merge.kif 4518-4518
(instance subsumesContentClass PartialOrderingRelation) Merge.kif 4519-4519

appearance as argument number 2
-------------------------


(format ChineseLanguage subsumesContentClass "%1 %n{doesn't} 包含 %2 的内容") chinese_format.kif 239-239
(format EnglishLanguage subsumesContentClass "%1 %n{doesn't} subsume%p{s} the content of %2") english_format.kif 240-240
(format FrenchLanguage subsumesContentClass "%1 %n{ne} classe %n{pas} le contenu de %2") french_format.kif 137-137
(format ItalianLanguage subsumesContentClass "%1 sussume il contenuto di %2") relations-it.txt 282-282
(format JapaneseLanguage subsumesContentClass "%1 は %2 の コンテンツを subsume%p{s} %n{ない}") japanese_format.kif 1968-1968
(format PortugueseLanguage subsumesContentClass "%1 %n{nao} subsume %n o conteudo de %2") portuguese_format.kif 89-89
(format de subsumesContentClass "%1 fasst das Inhalt von %2 zusammen") relations-de.txt 308-308
(format hi subsumesContentClass "%1 %2 ke tatva ko samaavishhTa karataa hai") relations-hindi.txt 319-319
(format ro subsumesContentClass "%1 %n{nu} subsume%t{subsumeazã} conþinutul lui %2") relations-ro.kif 156-156
(format sv subsumesContentClass "%1 tar %n{inte} ut innehållet i %2") relations-sv.txt 142-142
(format tg subsumesContentClass "%1 nasaklaw content of %2") relations-tg.txt 474-474
(relatedInternalConcept subsumesContentInstance subsumesContentClass) Merge.kif 4579-4579
(termFormat ChineseLanguage subsumesContentClass "包含内容类") chinese_format.kif 240-240
(termFormat ChineseTraditionalLanguage subsumesContentClass "包含內容類") domainEnglishFormat.kif 55819-55819
(termFormat EnglishLanguage subsumesContentClass "subsumes content class") domainEnglishFormat.kif 55818-55818
(termFormat de subsumesContentClass "fasstInhaltsKategorieZusammen") terms-de.txt 99-99

antecedent
-------------------------


(=>
    (and
        (subsumesContentClass ?CLASS1 ?CLASS2)
        (subsumesContentClass ?CLASS2 ?CLASS1))
    (equivalentContentClass ?CLASS1 ?CLASS2))
Merge.kif 4506-4510
(=>
    (subsumesContentClass ?CLASS1 ?CLASS2)
    (forall (?OBJ2 ?INFO)
        (=>
            (and
                (instance ?OBJ2 ?CLASS2)
                (containsInformation ?OBJ2 ?INFO))
            (exists (?OBJ1)
                (and
                    (instance ?OBJ1 ?CLASS1)
                    (containsInformation ?OBJ1 ?INFO))))))
Merge.kif 4536-4546

consequent
-------------------------


(=>
    (equal
        (EditionFn ?TEXT1 ?NUMBER) ?TEXT2)
    (subsumesContentClass ?TEXT1 ?TEXT2))
Merge.kif 15580-15582
(=>
    (equal
        (PeriodicalIssueFn ?PERIODICAL ?NUMBER) ?ISSUE)
    (subsumesContentClass ?PERIODICAL ?ISSUE))
Mid-level-ontology.kif 14696-14698
(=>
    (equal
        (SeriesVolumeFn ?SERIES ?NUMBER) ?VOLUME)
    (subsumesContentClass ?SERIES ?VOLUME))
Mid-level-ontology.kif 14667-14669
(=>
    (equivalentContentClass ?CLASS1 ?CLASS2)
    (and
        (subsumesContentClass ?CLASS1 ?CLASS2)
        (subsumesContentClass ?CLASS2 ?CLASS1)))
Merge.kif 4512-4516

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners