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

KB Term:  Term intersection
English Word: 

Sigma KEE - subsumesContentInstance
subsumesContentInstance

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


(instance subsumesContentInstance BinaryPredicate) Merge.kif 4688-4688 subsumes content instance is an instance of binary predicate
(instance subsumesContentInstance PartialOrderingRelation) Merge.kif 4689-4689 subsumes content instance is an instance of partial ordering relation
(domain subsumesContentInstance 1 ContentBearingPhysical) Merge.kif 4690-4690 The number 1 argument of subsumes content instance is an instance of content bearing physical
(domain subsumesContentInstance 2 ContentBearingPhysical) Merge.kif 4691-4691 The number 2 argument of subsumes content instance is an instance of content bearing physical
(relatedInternalConcept subsumesContentInstance subsumesContentClass) Merge.kif 4692-4692 subsumes content instance is internally related to subsumes content class
(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 4694-4701 subsumes content instance is internally related to subsumes content class

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


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

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


(=>
    (and
        (subsumesContentInstance ?OBJ1 ?OBJ2)
        (subsumesContentInstance ?OBJ2 ?OBJ1))
    (equivalentContentInstance ?OBJ1 ?OBJ2))		 Merge.kif 4676-4680 If X subsumes the content of Y and Y subsumes the content of X, then X is equivalent to Y
(=>
    (and
        (subsumesContentInstance ?OBJ1 ?OBJ2)
        (containsInformation ?OBJ2 ?INFO))
    (containsInformation ?OBJ1 ?INFO))		 Merge.kif 4703-4707 If X subsumes the content of Y and Y contains information Z, then X contains information Z
(=>
    (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 16287-16296 If X is an instance of article, Y is an instance of book, and Y subsumes the content of X, then there exists Z such that Z is an instance of article, equal Z, X, and Y subsumes the content of Z

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


(=>
    (equivalentContentInstance ?OBJ1 ?OBJ2)
    (and
        (subsumesContentInstance ?OBJ1 ?OBJ2)
        (subsumesContentInstance ?OBJ2 ?OBJ1)))		 Merge.kif 4682-4686 If X is equivalent to Y, then X subsumes the content of Y and Y subsumes the content of X
(=>
    (subProposition ?PROP1 ?PROP2)
    (forall (?OBJ1 ?OBJ2)
        (=>
            (and
                (containsInformation ?OBJ1 ?PROP1)
                (containsInformation ?OBJ2 ?PROP2))
            (subsumesContentInstance ?OBJ2 ?OBJ1))))		 Merge.kif 4758-4765 If X is a sub-proposition of Y, then For all ContentBearingPhysicals Z and W: if Z contains information X and W contains information Y, then W subsumes the content of Z
(=>
    (instance ?TEXT Summary)
    (exists (?TEXT2)
        (and
            (instance ?TEXT2 Text)
            (subsumesContentInstance ?TEXT2 ?TEXT))))		 Merge.kif 15874-15879 If X is an instance of summary, then there exists Y such that Y is an instance of text and Y subsumes the content of X
(=>
    (instance ?SHOT MotionPictureShot)
    (exists (?MOVIE)
        (and
            (instance ?MOVIE MotionPicture)
            (subsumesContentInstance ?MOVIE ?SHOT))))		 Mid-level-ontology.kif 16157-16162 If X is an instance of motion picture shot, then there exists Y such that Y is an instance of motion picture and Y subsumes the content of X
(=>
    (instance ?S MotionPictureScene)
    (exists (?M)
        (and
            (instance ?M MotionPicture)
            (subsumesContentInstance ?M ?S))))		 Mid-level-ontology.kif 16181-16186 If X is an instance of motion picture scene, then there exists Y such that Y is an instance of motion picture and Y subsumes the content of X
(=>
    (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 16255-16263 If X is an instance of series, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of book (3) Z is an instance of book (4) X subsumes the content of Y (5) X subsumes the content of Z (6) equal Y (7) Z
(=>
    (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 16287-16296 If X is an instance of article, Y is an instance of book, and Y subsumes the content of X, then there exists Z such that Z is an instance of article, equal Z, X, and Y subsumes the content of Z
(=>
    (instance ?CHAPTER Chapter)
    (exists (?BOOK)
        (and
            (instance ?BOOK Book)
            (subsumesContentInstance ?BOOK ?CHAPTER))))		 Mid-level-ontology.kif 16303-16308 If X is an instance of chapter, then there exists Y such that Y is an instance of book and Y subsumes the content of X
(=>
    (instance ?PAPER Newspaper)
    (exists (?REPORT)
        (and
            (instance ?REPORT Report)
            (subsumesContentInstance ?PAPER ?REPORT))))		 Mid-level-ontology.kif 16389-16394 If X is an instance of newspaper, then there exists Y such that Y is an instance of report and X subsumes the content of Y
(=>
    (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 32266-32274 If X is an instance of elaborating, then there exist Y, Z, W such that Y is an instance of linguistic communication, Y happens earlier than X, X contains information Z, Y contains information W, and Z subsumes the content of W
(=>
    (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 32317-32329 If X is an instance of prompting, then All of the following hold: (1) there exist Y (2) Z such that X ends up at Y (3) Z is an agent of X (4) Z desires there exists W such that W is an instance of linguistic communication (5) Y is an agent of W (6) X happens earlier than W (7) W subsumes the content of X
(=>
    (instance ?FILE SoftwareFile)
    (exists (?PROGRAM ?SUBPROGRAM)
        (and
            (instance ?PROGRAM ComputerProgram)
            (subsumesContentInstance ?PROGRAM ?SUBPROGRAM)
            (containsInformation ?FILE ?SUBPROGRAM))))		 Media.kif 1481-1487 If X is an instance of software file, then there exist Y, Z such that Y is an instance of computer program, Y subsumes the content of Z, and X contains information Z
(=>
    (and
        (instance ?REGISTRATION ShipRegistration)
        (instance ?SHIP Ship)
        (possesses ?SHIP ?REGISTRATION)
        (instance ?AREA GeopoliticalArea)
        (flagState ?SHIP ?AREA))
    (subsumesContentInstance
        (ShipRegisterFn ?AREA) ?REGISTRATION))		 Transportation.kif 1097-1104 If X is an instance of ship registration, Y is an instance of ship, Y possesses X, Z is an instance of geopolitical area, and Z is a flag state of Y, then the ship register of Z subsumes the content of X
(=>
    (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 1157-1166 If X is an instance of ship, Y is an instance of geopolitical area, and X is a member of the merchant marine of Y, then there exists Z such that Z is an instance of ship registration, X possesses Z, and the ship register of Y subsumes the content of Z


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners