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


KB Term:  Term intersection
English Word: 

Sigma KEE - subsumesContentClass
subsumesContentClass

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


(instance subsumesContentClass BinaryPredicate) Merge.kif 4631-4631 subsumes content class is an instance of binary predicate
(instance subsumesContentClass PartialOrderingRelation) Merge.kif 4632-4632 subsumes content class is an instance of partial ordering relation
(domainSubclass subsumesContentClass 1 ContentBearingPhysical) Merge.kif 4633-4633 The number 1 argument of subsumes content class is a subclass of content bearing physical
(domainSubclass subsumesContentClass 2 ContentBearingPhysical) Merge.kif 4634-4634 The number 2 argument of subsumes content class is a subclass of content bearing physical
(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 4636-4647 The number 2 argument of subsumes content class is a subclass of content bearing physical

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


(relatedInternalConcept subsumesContentInstance subsumesContentClass) Merge.kif 4692-4692 subsumes content instance is internally related to subsumes content class
(termFormat EnglishLanguage subsumesContentClass "subsumes content class") domainEnglishFormat.kif 55813-55813 subsumes content instance is internally related to subsumes content class
(termFormat ChineseTraditionalLanguage subsumesContentClass "包含內容類") domainEnglishFormat.kif 55814-55814 subsumes content instance is internally related to subsumes content class
(termFormat ChineseLanguage subsumesContentClass "包含内容类") domainEnglishFormat.kif 55815-55815 subsumes content instance is internally related to subsumes content class
(format EnglishLanguage subsumesContentClass "%1 %n{doesn't} subsume%p{s} the content of %2") english_format.kif 240-240 subsumes content instance is internally related to subsumes content class

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


(=>
    (and
        (subsumesContentClass ?CLASS1 ?CLASS2)
        (subsumesContentClass ?CLASS2 ?CLASS1))
    (equivalentContentClass ?CLASS1 ?CLASS2))		 Merge.kif 4619-4623 If X subsumes the content of Y and Y subsumes the content of X, then X is equivalent to Y
(=>
    (subsumesContentClass ?CLASS1 ?CLASS2)
    (forall (?OBJ2 ?INFO)
        (=>
            (and
                (instance ?OBJ2 ?CLASS2)
                (containsInformation ?OBJ2 ?INFO))
            (exists (?OBJ1)
                (and
                    (instance ?OBJ1 ?CLASS1)
                    (containsInformation ?OBJ1 ?INFO))))))		 Merge.kif 4649-4659 If X subsumes the content of Y, then For all ContentBearingPhysical Z and Proposition W: if Z contains information W, then there exists V such that V is an instance of X and V contains information W

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


(=>
    (equivalentContentClass ?CLASS1 ?CLASS2)
    (and
        (subsumesContentClass ?CLASS1 ?CLASS2)
        (subsumesContentClass ?CLASS2 ?CLASS1)))		 Merge.kif 4625-4629 If X is equivalent to Y, then X subsumes the content of Y and Y subsumes the content of X
(=>
    (equal
        (EditionFn ?TEXT1 ?NUMBER) ?TEXT2)
    (subsumesContentClass ?TEXT1 ?TEXT2))		 Merge.kif 15818-15820 If equal edition X of Y and Z, then Y subsumes the content of Z
(=>
    (equal
        (SeriesVolumeFn ?SERIES ?NUMBER) ?VOLUME)
    (subsumesContentClass ?SERIES ?VOLUME))		 Mid-level-ontology.kif 16245-16247 If equal volume X in the series Y and Z, then Y subsumes the content of Z
(=>
    (equal
        (PeriodicalIssueFn ?PERIODICAL ?NUMBER) ?ISSUE)
    (subsumesContentClass ?PERIODICAL ?ISSUE))		 Mid-level-ontology.kif 16274-16276 If equal the periodical number X of Y and Z, then Y subsumes the content of Z