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
-------------------------


s__documentation(s__subsumesContentClass__m,s__ChineseLanguage,'"这是个联系两个 ContentBearingPhysical 子类别的 BinaryPredicate,(subsumesContentClass ?CLASS1 ?CLASS2) 的意思是由 ?CLASS1 的每一个实例所表达的内容,也由 ?CLASS2 的每一个实例表达。例如: 一首诗和这首诗的一节或一本书和这本书的一章的关系。 注:这是 ContentBearingObject 的子类别之间的关系, 而不是实例之间的关系。如果要联系实例时,可以用 Predicate subsumesContentInstance。也要注意 我们在很多情况下都需要用 subsumesContentClass is needed in many cases. 例如: 圣经的国王詹姆斯版本和它的创世记书之间的关系, 这个关系适用于此版本的每个副本,而不仅仅是单一的实例。"')

chinese_format.kif 2181-2187
s__documentation(s__subsumesContentClass__m,s__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 4393-4404
s__domainSubclass(s__subsumesContentClass__m,n__1,s__ContentBearingPhysical)

Merge.kif 4390-4390 The number 1 argument of subsumes content class is a subclass of content bearing physical
s__domainSubclass(s__subsumesContentClass__m,n__2,s__ContentBearingPhysical)

Merge.kif 4391-4391 The number 2 argument of subsumes content class is a subclass of content bearing physical
s__instance(s__BinaryPredicate,s__Class)

s__instance(s__subsumesContentClass__m,s__BinaryPredicate)

Merge.kif 4388-4388 subsumes content class is an instance of binary predicate
s__instance(s__PartialOrderingRelation,s__Class)

s__instance(s__subsumesContentClass__m,s__PartialOrderingRelation)

Merge.kif 4389-4389 subsumes content class is an instance of partial ordering relation

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


s__format(s__ChineseLanguage,s__subsumesContentClass__m,'"%1 %n{doesnt} 包含 %2 的内容"')

chinese_format.kif 239-239
s__format(s__EnglishLanguage,s__subsumesContentClass__m,'"%1 %n{doesnt} subsume%p{s} the content of %2"')

english_format.kif 240-240
s__relatedInternalConcept(s__subsumesContentInstance__m,s__subsumesContentClass__m)

Merge.kif 4443-4443 subsumes content instance is internally related to subsumes content class
s__termFormat(s__ChineseLanguage,s__subsumesContentClass__m,'"包含内容类"')

chinese_format.kif 240-240
s__termFormat(s__ChineseTraditionalLanguage,s__subsumesContentClass__m,'"包含內容類"')

domainEnglishFormat.kif 55796-55796
s__termFormat(s__EnglishLanguage,s__subsumesContentClass__m,'"subsumes content class"')

domainEnglishFormat.kif 55795-55795

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


( ! [V__CLASS2,V__CLASS1] :
   (((s__subclass(V__CLASS2,s__ContentBearingPhysical) &
         s__subclass(V__CLASS1,s__ContentBearingPhysical))
       =>
       ((((s__subsumesContentClass(V__CLASS1,V__CLASS2)
             &
             s__subsumesContentClass(V__CLASS2,V__CLASS1))
         =>
         s__equivalentContentClass(V__CLASS1,V__CLASS2))
     &
     (s__equivalentContentClass(V__CLASS1,V__CLASS2)
     =>
     (s__subsumesContentClass(V__CLASS1,V__CLASS2)
     &
     s__subsumesContentClass(V__CLASS2,V__CLASS1))))))
)
)

Merge.kif 4382-4386 A kind of content bearing physical subsumes the content of another kind of content bearing physical and another kind of content bearing physical subsumes the content of a kind of content bearing physical if and only if the kind of content bearing physical is equivalent to the other kind of content bearing physical
( ! [V__CLASS2,V__CLASS1] :
   (((s__instance(V__CLASS2,s__Class) &
         s__subclass(V__CLASS2,s__ContentBearingPhysical) &
         s__instance(V__CLASS1,s__Class) &
         s__subclass(V__CLASS1,s__ContentBearingPhysical))
       =>
       ((s__subsumesContentClass(V__CLASS1,V__CLASS2)
         =>
         (( ! [V__OBJ2, V__INFO] :
             (((s__instance(V__OBJ2,s__ContentBearingPhysical) &
                   s__instance(V__INFO,s__Proposition))
                 =>
                 (((s__instance(V__OBJ2,V__CLASS2)
                     &
                     s__containsInformation(V__OBJ2,V__INFO))
                 =>
                 (( ? [V__OBJ1] :
                     ((s__instance(V__OBJ1,s__ContentBearingPhysical) &
                         (s__instance(V__OBJ1,V__CLASS1)
                         &
                         s__containsInformation(V__OBJ1,V__INFO)))))))))))))))
)
)

Merge.kif 4406-4416

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


( ! [V__TEXT1,V__TEXT2,V__NUMBER] :
   (((s__subclass(V__TEXT1,s__ContentBearingObject) &
         s__subclass(V__TEXT1,s__ContentBearingPhysical) &
         s__subclass(V__TEXT2,s__ContentBearingObject) &
         s__subclass(V__TEXT2,s__ContentBearingPhysical) &
         s__instance(V__NUMBER,s__PositiveInteger))
       =>
       (((s__EditionFn(V__TEXT1,V__NUMBER)
           = V__TEXT2)
         =>
         (s__subsumesContentClass(V__TEXT1,V__TEXT2)))))
)
)

Merge.kif 14880-14882
( ! [V__PERIODICAL,V__ISSUE,V__NUMBER] :
   (((s__subclass(V__PERIODICAL,s__Periodical) &
         s__subclass(V__PERIODICAL,s__ContentBearingPhysical) &
         s__subclass(V__ISSUE,s__Periodical) &
         s__subclass(V__ISSUE,s__ContentBearingPhysical) &
         s__instance(V__NUMBER,s__PositiveInteger))
       =>
       (((s__PeriodicalIssueFn(V__PERIODICAL,V__NUMBER)
           = V__ISSUE)
         =>
         (s__subsumesContentClass(V__PERIODICAL,V__ISSUE)))))
)
)

Mid-level-ontology.kif 13993-13995
( ! [V__SERIES,V__NUMBER,V__VOLUME] :
   (((s__subclass(V__SERIES,s__Series) &
         s__subclass(V__SERIES,s__ContentBearingPhysical) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__subclass(V__VOLUME,s__Text) &
         s__subclass(V__VOLUME,s__ContentBearingPhysical))
       =>
       (((s__SeriesVolumeFn(V__SERIES,V__NUMBER)
           = V__VOLUME)
         =>
         (s__subsumesContentClass(V__SERIES,V__VOLUME)))))
)
)

Mid-level-ontology.kif 13964-13966