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


(documentation subsumesContentInstance ChineseLanguage "这是个联系两个 ContentBearingPhysical 实例的 BinaryPredicate,(subsumesContentInstance ?OBJ1 ?OBJ2) 的意思是 ?OBJ2 所表达的内容是 ?OBJ1所表达内容的一部分。一首手写的诗和这首诗的一节之间的关系。注:这是个 实例和实例之间的关系而非 Class 的关系。如果要表达 Class 之间的关系,例如一份含知识版权的作品和这个 作品的一部分之间的关系,因该用 subsumesContentClass 关系。") chinese_format.kif 2193-2197
(documentation subsumesContentInstance 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 4393-4400
(domain subsumesContentInstance 1 ContentBearingPhysical) Merge.kif 4389-4389 domain subsumesContentInstance, 1 and ContentBearingPhysical
(domain subsumesContentInstance 2 ContentBearingPhysical) Merge.kif 4390-4390 domain subsumesContentInstance, 2 and ContentBearingPhysical
(instance subsumesContentInstance BinaryPredicate) Merge.kif 4387-4387 instance subsumesContentInstance and BinaryPredicate
(instance subsumesContentInstance PartialOrderingRelation) Merge.kif 4388-4388 instance subsumesContentInstance and PartialOrderingRelation
(relatedInternalConcept subsumesContentInstance subsumesContentClass) Merge.kif 4391-4391 relatedInternalConcept subsumesContentInstance and subsumesContentClass

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


(format ChineseLanguage subsumesContentInstance "%1 %n{doesn't} 包含 %2 的内容") chinese_format.kif 241-241
(format EnglishLanguage subsumesContentInstance "%1 %n{doesn't} subsume%p{s} the content of %2") english_format.kif 245-245
(termFormat ChineseLanguage subsumesContentInstance "包含内容实例") chinese_format.kif 242-242
(termFormat ChineseTraditionalLanguage subsumesContentInstance "包含內容實例") domainEnglishFormat.kif 55737-55737
(termFormat EnglishLanguage subsumesContentInstance "subsumes content instance") domainEnglishFormat.kif 55736-55736

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


(<=>
    (and
        (subsumesContentInstance ?OBJ1 ?OBJ2)
        (subsumesContentInstance ?OBJ2 ?OBJ1))
    (equivalentContentInstance ?OBJ1 ?OBJ2))
Merge.kif 4381-4385 subsumesContentInstance ContentBearingPhysical and ContentBearingPhysical subsumesContentInstance ContentBearingPhysical and ContentBearingPhysical equivalentContentInstance ContentBearingPhysical and ContentBearingPhysical
(=>
    (and
        (instance ?ARTICLE1 Article)
        (instance ?BOOK Book)
        (subsumesContentInstance ?BOOK ?ARTICLE1))
    (exists (?ARTICLE2)
        (and
            (instance ?ARTICLE2 Article)
            (not
                (equal ?ARTICLE2 ?ARTICLE1))
            (subsumesContentInstance ?BOOK ?ARTICLE2))))
Mid-level-ontology.kif 12451-12460
(=>
    (and
        (instance ?TEXT ?CLASS)
        (subclass ?CLASS FactualText)
        (authors ?AGENT ?CLASS)
        (subsumesContentInstance ?TEXT ?CONTENT)
        (instance ?CONTENT Formula))
    (believes ?AGENT ?CONTENT))
Merge.kif 14246-14253
(=>
    (subsumesContentInstance ?OBJ1 ?OBJ2)
    (forall (?INFO)
        (=>
            (containsInformation ?OBJ2 ?INFO)
            (containsInformation ?OBJ1 ?INFO))))
Merge.kif 4402-4407

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


(=>
    (and
        (hardwareType ?Type ?Computer)
        (productModel ?Model ?Computer))
    (subsumesContentInstance ?Type ?Model))
QoSontology.kif 1026-1030
(=>
    (and
        (hardwareType ?Type ?Computer)
        (version ?Version ?Computer))
    (subsumesContentInstance ?Type ?Version))
QoSontology.kif 1032-1036
(=>
    (and
        (instance ?ARTICLE1 Article)
        (instance ?BOOK Book)
        (subsumesContentInstance ?BOOK ?ARTICLE1))
    (exists (?ARTICLE2)
        (and
            (instance ?ARTICLE2 Article)
            (not
                (equal ?ARTICLE2 ?ARTICLE1))
            (subsumesContentInstance ?BOOK ?ARTICLE2))))
Mid-level-ontology.kif 12451-12460
(=>
    (and
        (instance ?REGISTRATION ShipRegistration)
        (instance ?SHIP Ship)
        (possesses ?SHIP ?REGISTRATION)
        (instance ?AREA GeopoliticalArea)
        (flagState ?SHIP ?AREA))
    (subsumesContentInstance
        (ShipRegisterFn ?AREA) ?REGISTRATION))
Transportation.kif 1086-1093
(=>
    (and
        (instance ?SHIP Ship)
        (instance ?AREA GeopoliticalArea)
        (member ?SHIP
            (MerchantMarineFn ?AREA)))
    (exists (?REGISTRATION)
        (and
            (instance ?REGISTRATION ShipRegistration)
            (possesses ?SHIP ?REGISTRATION)
            (subsumesContentInstance
                (ShipRegisterFn ?AREA) ?REGISTRATION))))
Transportation.kif 1146-1155
(=>
    (and
        (instance ?TEXT ?CLASS)
        (subclass ?CLASS FictionalText)
        (authors ?AGENT ?CLASS))
    (exists (?CONTENT)
        (and
            (subsumesContentInstance ?TEXT ?CONTENT)
            (instance ?CONTENT Formula)
            (not
                (believes ?AGENT ?CONTENT)))))
Merge.kif 14277-14286
(=>
    (instance ?CHAPTER Chapter)
    (exists (?BOOK)
        (and
            (instance ?BOOK Book)
            (subsumesContentInstance ?BOOK ?CHAPTER))))
Mid-level-ontology.kif 12467-12472
(=>
    (instance ?E Elaborating)
    (exists (?L ?EP ?LP)
        (and
            (instance ?L LinguisticCommunication)
            (earlier ?L ?E)
            (containsInformation ?E ?EP)
            (containsInformation ?L ?LP)
            (subsumesContentInstance ?EP ?LP))))
Mid-level-ontology.kif 27861-27869
(=>
    (instance ?FILE SoftwareFile)
    (exists (?PROGRAM ?SUBPROGRAM)
        (and
            (instance ?PROGRAM ComputerProgram)
            (subsumesContentInstance ?PROGRAM ?SUBPROGRAM)
            (containsInformation ?FILE ?SUBPROGRAM))))
Media.kif 1524-1530
(=>
    (instance ?P Prompting)
    (exists (?H ?A)
        (and
            (destination ?P ?H)
            (agent ?P ?A)
            (desires ?A
                (exists (?LC)
                    (and
                        (instance ?LC LinguisticCommunication)
                        (agent ?LC ?H)
                        (earlier ?P ?LC)
                        (subsumesContentInstance ?LC ?P)))))))
Mid-level-ontology.kif 27918-27930
(=>
    (instance ?PAPER Newspaper)
    (exists (?REPORT)
        (and
            (instance ?REPORT Report)
            (subsumesContentInstance ?PAPER ?REPORT))))
Mid-level-ontology.kif 12551-12556
(=>
    (instance ?S MotionPictureScene)
    (exists (?M)
        (and
            (instance ?M MotionPicture)
            (subsumesContentInstance ?M ?S))))
Mid-level-ontology.kif 12347-12352
(=>
    (instance ?SERIES Series)
    (exists (?BOOK1 ?BOOK2)
        (and
            (instance ?BOOK1 Book)
            (instance ?BOOK2 Book)
            (subsumesContentInstance ?SERIES ?BOOK1)
            (subsumesContentInstance ?SERIES ?BOOK2)
            (not
                (equal ?BOOK1 ?BOOK2)))))
Mid-level-ontology.kif 12419-12427
(=>
    (instance ?SHOT MotionPictureShot)
    (exists (?MOVIE)
        (and
            (instance ?MOVIE MotionPicture)
            (subsumesContentInstance ?MOVIE ?SHOT))))
Mid-level-ontology.kif 12323-12328
(=>
    (instance ?TEXT Summary)
    (exists (?TEXT2)
        (and
            (instance ?TEXT2 Text)
            (subsumesContentInstance ?TEXT2 ?TEXT))))
Merge.kif 14436-14441
(=>
    (subProposition ?PROP1 ?PROP2)
    (forall (?OBJ1 ?OBJ2)
        (=>
            (and
                (containsInformation ?OBJ1 ?PROP1)
                (containsInformation ?OBJ2 ?PROP2))
            (subsumesContentInstance ?OBJ2 ?OBJ1))))
Merge.kif 4455-4462