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 4342-4353
(domainSubclass subsumesContentClass 1 ContentBearingPhysical) Merge.kif 4339-4339 domainSubclass subsumesContentClass, 1 and ContentBearingPhysical
(domainSubclass subsumesContentClass 2 ContentBearingPhysical) Merge.kif 4340-4340 domainSubclass subsumesContentClass, 2 and ContentBearingPhysical
(instance subsumesContentClass BinaryPredicate) Merge.kif 4337-4337 instance subsumesContentClass and BinaryPredicate
(instance subsumesContentClass PartialOrderingRelation) Merge.kif 4338-4338 instance subsumesContentClass and PartialOrderingRelation

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 243-243
(relatedInternalConcept subsumesContentInstance subsumesContentClass) Merge.kif 4391-4391 relatedInternalConcept subsumesContentInstance and subsumesContentClass
(termFormat ChineseLanguage subsumesContentClass "包含内容类") chinese_format.kif 240-240
(termFormat ChineseTraditionalLanguage subsumesContentClass "包含內容類") domainEnglishFormat.kif 55731-55731
(termFormat EnglishLanguage subsumesContentClass "subsumes content class") domainEnglishFormat.kif 55730-55730

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


(<=>
    (and
        (subsumesContentClass ?CLASS1 ?CLASS2)
        (subsumesContentClass ?CLASS2 ?CLASS1))
    (equivalentContentClass ?CLASS1 ?CLASS2))
Merge.kif 4331-4335 subsumesContentClass ContentBearingPhysical and ContentBearingPhysical subsumesContentClass ContentBearingPhysical and ContentBearingPhysical equivalentContentClass ContentBearingPhysical and ContentBearingPhysical
(=>
    (subsumesContentClass ?CLASS1 ?CLASS2)
    (forall (?OBJ2 ?INFO)
        (=>
            (and
                (instance ?OBJ2 ?CLASS2)
                (containsInformation ?OBJ2 ?INFO))
            (exists (?OBJ1)
                (and
                    (instance ?OBJ1 ?CLASS1)
                    (containsInformation ?OBJ1 ?INFO))))))
Merge.kif 4355-4365

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


(=>
    (equal
        (EditionFn ?TEXT1 ?NUMBER) ?TEXT2)
    (subsumesContentClass ?TEXT1 ?TEXT2))
Merge.kif 14380-14382
(=>
    (equal
        (PeriodicalIssueFn ?PERIODICAL ?NUMBER) ?ISSUE)
    (subsumesContentClass ?PERIODICAL ?ISSUE))
Mid-level-ontology.kif 12438-12440
(=>
    (equal
        (SeriesVolumeFn ?SERIES ?NUMBER) ?VOLUME)
    (subsumesContentClass ?SERIES ?VOLUME))
Mid-level-ontology.kif 12409-12411