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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 の２つのサブクラスを関連付ける 。(subsumesContentClass ?CLASS1 ?CLASS2) とは、?CLASS2の各インスタンスによって表されるコンテンツも ?CLASS1の各インスタンスによっ て表される。　例：詩とそのスタンザの１つまたは本とその章の間の関係。　注１：これはインスタンスでは なく、ContentBearingObject のサブクラス間の関係である。インスタンスを関連付けたい場合は、 Predicate subsumesContentInstance を使用できる。　注２：多くの場合、subsumesContentClass が必要である。例えば、聖書のジェームズ王版とその創世記との関係を考えてみる。このリレーションシップは、 単一のインスタンスだけでなく、このエディションのすべてのコピーに対して当てはまる。") japanese_format.kif 842-849
(domainSubclass subsumesContentClass 1 ContentBearingPhysical) Merge.kif 4520-4520 The number 1 argument of subsumes content class is a subclass of content bearing physical
(domainSubclass subsumesContentClass 2 ContentBearingPhysical) Merge.kif 4521-4521 The number 2 argument of subsumes content class is a subclass of content bearing physical
(instance subsumesContentClass BinaryPredicate) Merge.kif 4518-4518 subsumes content class is an instance of binary predicate
(instance subsumesContentClass PartialOrderingRelation) Merge.kif 4519-4519 subsumes content class is an instance of partial ordering relation

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 subsumes content instance is internally related to subsumes content class
(termFormat ChineseLanguage subsumesContentClass "包含内容类") chinese_format.kif 240-240 subsumes content instance is internally related to subsumes content class
(termFormat ChineseTraditionalLanguage subsumesContentClass "包含內容類") domainEnglishFormat.kif 55857-55857 subsumes content instance is internally related to subsumes content class
(termFormat EnglishLanguage subsumesContentClass "subsumes content class") domainEnglishFormat.kif 55856-55856 subsumes content instance is internally related to subsumes content class
(termFormat de subsumesContentClass "fasstInhaltsKategorieZusammen") terms-de.txt 99-99 subsumes content instance is internally related to subsumes content class

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 14887-14889
(=>
    (equal
        (SeriesVolumeFn ?SERIES ?NUMBER) ?VOLUME)
    (subsumesContentClass ?SERIES ?VOLUME))		 Mid-level-ontology.kif 14858-14860
(=>
    (equivalentContentClass ?CLASS1 ?CLASS2)
    (and
        (subsumesContentClass ?CLASS1 ?CLASS2)
        (subsumesContentClass ?CLASS2 ?CLASS1)))		 Merge.kif 4512-4516