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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - subsumesContentInstance
subsumesContentInstance

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


s__documentation(s__subsumesContentInstance__m,s__ChineseLanguage,'"这是个联系两个 ContentBearingPhysical 实例的 BinaryPredicate，(subsumesContentInstance ?OBJ1 ?OBJ2) 的意思是 ?OBJ2 所表达的内容是 ?OBJ1所表达内容的一部分。一首手写的诗和这首诗的一节之间的关系。注：这是个 实例和实例之间的关系而非 Class 的关系。如果要表达 Class 之间的关系，例如一份含知识版权的作品和这个 作品的一部分之间的关系，因该用 subsumesContentClass 关系。"')

 chinese_format.kif 2193-2197
s__documentation(s__subsumesContentInstance__m,s__EnglishLanguage,'"A BinaryPredicate relating two instances of ContentBearingPhysical. (subsumesContentInstance ?OBJ1 ?OBJ2) means that the content expressed by ?OBJ2 is part of the content expressed by ?OBJ1. An example is the relationship between a handwritten poem and one of its stanzas. Note that this is a relation between instances, rather than Classes. If one wants to assert a content relationship between Classes, e.g. between the version of an intellectual work and a part of that work, the relation subsumesContentClass should be used."')

 Merge.kif 4352-4359
s__domain(s__subsumesContentInstance__m,n__1,s__ContentBearingPhysical)

 Merge.kif 4348-4348 The number 1 argument of subsumes content instance is an instance of content bearing physical
s__domain(s__subsumesContentInstance__m,n__2,s__ContentBearingPhysical)

 Merge.kif 4349-4349 The number 2 argument of subsumes content instance is an instance of content bearing physical
s__instance(s__subsumesContentInstance__m,s__BinaryPredicate)

s__instance(s__BinaryPredicate,s__SetOrClass)

 Merge.kif 4346-4346 subsumes content instance is an instance of binary predicate
s__instance(s__subsumesContentInstance__m,s__PartialOrderingRelation)

s__instance(s__PartialOrderingRelation,s__SetOrClass)

 Merge.kif 4347-4347 subsumes content instance is an instance of partial ordering relation
s__relatedInternalConcept(s__subsumesContentInstance__m,s__subsumesContentClass__m)

 Merge.kif 4350-4350 subsumes content instance is internally related to subsumes content class

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


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

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

 english_format.kif 245-245
s__termFormat(s__ChineseLanguage,s__subsumesContentInstance__m,'"包含内容实例"')

 chinese_format.kif 242-242
s__termFormat(s__ChineseTraditionalLanguage,s__subsumesContentInstance__m,'"包含內容實例"')

 domainEnglishFormat.kif 55716-55716
s__termFormat(s__EnglishLanguage,s__subsumesContentInstance__m,'"subsumes content instance"')

 domainEnglishFormat.kif 55715-55715

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


( ! [V__OBJ1,V__OBJ2] :
   ((s__instance(V__OBJ1,s__ContentBearingPhysical) &
       s__instance(V__OBJ2,s__ContentBearingPhysical))
     =>
     ((s__subsumesContentInstance(V__OBJ1,V__OBJ2)
       &
       s__subsumesContentInstance(V__OBJ2,V__OBJ1))
   =>
   s__equivalentContentInstance(V__OBJ1,V__OBJ2))
&
(s__equivalentContentInstance(V__OBJ1,V__OBJ2)
=>
(s__subsumesContentInstance(V__OBJ1,V__OBJ2)
&
s__subsumesContentInstance(V__OBJ2,V__OBJ1)))
)
)

 Merge.kif 4340-4344 A content bearing physical subsumes the content of another content bearing physical and the other content bearing physical subsumes the content of the content bearing physical if and only if the content bearing physical is equivalent to the other content bearing physical
( ! [V__ARTICLE1,V__BOOK] :
   ((s__instance(V__ARTICLE1,s__Article) &
       s__instance(V__BOOK,s__Book) &
       s__subsumesContentInstance(V__BOOK,V__ARTICLE1))
   =>
   ( ? [V__ARTICLE2] :
     ((s__instance(V__ARTICLE2,s__Article) &
         ~((V__ARTICLE2 = V__ARTICLE1))
         &
         s__subsumesContentInstance(V__BOOK,V__ARTICLE2))))
)
)

 Mid-level-ontology.kif 12426-12435
No TPTP formula. May not be expressible in strict first order. Merge.kif 14219-14226
( ! [V__OBJ1,V__OBJ2] :
   ((s__instance(V__OBJ1,s__ContentBearingPhysical) &
       s__instance(V__OBJ2,s__ContentBearingPhysical))
     =>
     s__subsumesContentInstance(V__OBJ1,V__OBJ2)
   =>
   ( ! [V__INFO] :
     (s__instance(V__INFO,s__Proposition) =>
       s__containsInformation(V__OBJ2,V__INFO)
     =>
     s__containsInformation(V__OBJ1,V__INFO)))
)
)

 Merge.kif 4361-4366

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


( ! [V__Computer,V__Type,V__Model] :
   ((s__instance(V__Computer,s__Computer) &
       s__subclass(V__Computer,s__Product) &
       s__instance(V__Type,s__SymbolicString) &
       s__instance(V__Model,s__SymbolicString))
     =>
     (s__hardwareType(V__Type,V__Computer)
     &
     s__productModel(V__Model,V__Computer))
=>
s__subsumesContentInstance(V__Type,V__Model)
)
)

 QoSontology.kif 1026-1030
( ! [V__Computer,V__Type,V__Version] :
   ((s__instance(V__Computer,s__Computer) &
       s__subclass(V__Computer,s__Artifact) &
       s__instance(V__Type,s__SymbolicString) &
       s__subclass(V__Version,s__Artifact) &
       s__instance(V__Version,s__ContentBearingPhysical))
     =>
     (s__hardwareType(V__Type,V__Computer)
     &
     s__version(V__Version,V__Computer))
=>
s__subsumesContentInstance(V__Type,V__Version)
)
)

 QoSontology.kif 1032-1036
( ! [V__ARTICLE1,V__BOOK] :
   ((s__instance(V__ARTICLE1,s__Article) &
       s__instance(V__BOOK,s__Book) &
       s__subsumesContentInstance(V__BOOK,V__ARTICLE1))
   =>
   ( ? [V__ARTICLE2] :
     ((s__instance(V__ARTICLE2,s__Article) &
         ~((V__ARTICLE2 = V__ARTICLE1))
         &
         s__subsumesContentInstance(V__BOOK,V__ARTICLE2))))
)
)

 Mid-level-ontology.kif 12426-12435
( ! [V__SHIP,V__REGISTRATION,V__AREA] :
   ((s__instance(V__REGISTRATION,s__ShipRegistration) &
       s__instance(V__SHIP,s__Ship) &
       s__possesses(V__SHIP,V__REGISTRATION)
     &
     s__instance(V__AREA,s__GeopoliticalArea) &
     s__flagState(V__SHIP,V__AREA))
=>
s__subsumesContentInstance(s__ShipRegisterFn(V__AREA)
,V__REGISTRATION)
)
)

 Transportation.kif 1086-1093
( ! [V__SHIP,V__AREA] :
   ((s__instance(V__SHIP,s__Ship) &
       s__instance(V__AREA,s__GeopoliticalArea) &
       s__member(V__SHIP,s__MerchantMarineFn(V__AREA)))
=>
( ? [V__REGISTRATION] :
   ((s__instance(V__REGISTRATION,s__ShipRegistration) &
       s__possesses(V__SHIP,V__REGISTRATION)
     &
     s__subsumesContentInstance(s__ShipRegisterFn(V__AREA)
  ,V__REGISTRATION))))
)
)

 Transportation.kif 1146-1155
No TPTP formula. May not be expressible in strict first order. Merge.kif 14250-14259
( ! [V__CHAPTER] :
   (s__instance(V__CHAPTER,s__Chapter) =>
     ( ? [V__BOOK] :
       ((s__instance(V__BOOK,s__Book) &
           s__subsumesContentInstance(V__BOOK,V__CHAPTER))))
   )
)

 Mid-level-ontology.kif 12442-12447
( ! [V__E] :
   (s__instance(V__E,s__Elaborating) =>
     ( ? [V__L, V__EP, V__LP] :
       ((s__instance(V__EP,s__Proposition) &
           s__instance(V__EP,s__ContentBearingPhysical) &
           s__instance(V__LP,s__Proposition) &
           s__instance(V__LP,s__ContentBearingPhysical) &
           (s__instance(V__L,s__LinguisticCommunication) &
             s__earlier(V__L,V__E)
           &
           s__containsInformation(V__E,V__EP)
         &
         s__containsInformation(V__L,V__LP)
       &
       s__subsumesContentInstance(V__EP,V__LP)))))
)
)

 Mid-level-ontology.kif 27836-27844
( ! [V__FILE] :
   (s__instance(V__FILE,s__SoftwareFile) =>
     ( ? [V__PROGRAM, V__SUBPROGRAM] :
       ((s__instance(V__SUBPROGRAM,s__Proposition) &
           s__instance(V__SUBPROGRAM,s__ContentBearingPhysical) &
           (s__instance(V__PROGRAM,s__ComputerProgram) &
             s__subsumesContentInstance(V__PROGRAM,V__SUBPROGRAM)
           &
           s__containsInformation(V__FILE,V__SUBPROGRAM)))))
)
)

 Media.kif 1524-1530
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27893-27905
( ! [V__PAPER] :
   (s__instance(V__PAPER,s__Newspaper) =>
     ( ? [V__REPORT] :
       ((s__instance(V__REPORT,s__Report) &
           s__subsumesContentInstance(V__PAPER,V__REPORT))))
   )
)

 Mid-level-ontology.kif 12526-12531
( ! [V__S] :
   (s__instance(V__S,s__MotionPictureScene) =>
     ( ? [V__M] :
       ((s__instance(V__M,s__MotionPicture) &
           s__subsumesContentInstance(V__M,V__S))))
   )
)

 Mid-level-ontology.kif 12322-12327
( ! [V__SERIES] :
   (s__instance(V__SERIES,s__Series) =>
     ( ? [V__BOOK1, V__BOOK2] :
       ((s__instance(V__BOOK1,s__Book) &
           s__instance(V__BOOK2,s__Book) &
           s__subsumesContentInstance(V__SERIES,V__BOOK1)
         &
         s__subsumesContentInstance(V__SERIES,V__BOOK2)
       &
       ~((V__BOOK1 = V__BOOK2)))))
)
)

 Mid-level-ontology.kif 12394-12402
( ! [V__SHOT] :
   (s__instance(V__SHOT,s__MotionPictureShot) =>
     ( ? [V__MOVIE] :
       ((s__instance(V__MOVIE,s__MotionPicture) &
           s__subsumesContentInstance(V__MOVIE,V__SHOT))))
   )
)

 Mid-level-ontology.kif 12298-12303
( ! [V__TEXT] :
   (s__instance(V__TEXT,s__Summary) =>
     ( ? [V__TEXT2] :
       ((s__instance(V__TEXT2,s__Text) &
           s__subsumesContentInstance(V__TEXT2,V__TEXT))))
   )
)

 Merge.kif 14409-14414
( ! [V__PROP1,V__PROP2] :
   ((s__instance(V__PROP1,s__Proposition) &
       s__instance(V__PROP2,s__Proposition))
     =>
     s__subProposition(V__PROP1,V__PROP2)
   =>
   ( ! [V__OBJ1, V__OBJ2] :
     ((s__instance(V__OBJ1,s__ContentBearingPhysical) &
         s__instance(V__OBJ2,s__ContentBearingPhysical))
       =>
       (s__containsInformation(V__OBJ1,V__PROP1)
       &
       s__containsInformation(V__OBJ2,V__PROP2))
   =>
   s__subsumesContentInstance(V__OBJ2,V__OBJ1)))
)
)

 Merge.kif 4414-4421