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 4580-4587
(documentation subsumesContentInstance JapaneseLanguage "BinaryPredicate は、 ContentBearingPhysical の2つのインスタンスに関連する。(subsumesContentInstance ?OBJ1 ?OBJ2) とは、?OBJ2によって表されるコンテンツが?OBJ1によって表されるコンテンツの一部であることを意味する。 例として、手書きの詩とそのスタンザの関係である。 注:これは、Classes ではなく、インスタンス間の 関係である。 Classes 間のコンテンツリレーションシップをアサートする場合、(例えば、知的な仕事の バージョンとその作業の一部の間など)関係 subsumesContentClass を使用する必要がある。") japanese_format.kif 856-861
(domain subsumesContentInstance 1 ContentBearingPhysical) Merge.kif 4576-4576 包含内容实例 的 1 数量 是 内容承载物理instance
(domain subsumesContentInstance 2 ContentBearingPhysical) Merge.kif 4577-4577 包含内容实例 的 2 数量 是 内容承载物理instance
(instance subsumesContentInstance BinaryPredicate) Merge.kif 4574-4574 包含内容实例二元谓语instance
(instance subsumesContentInstance PartialOrderingRelation) Merge.kif 4575-4575 包含内容实例偏序关系instance
(relatedInternalConcept subsumesContentInstance subsumesContentClass) Merge.kif 4578-4578 包含内容实例包含内容类 是 内部相关

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 242-242
(format FrenchLanguage subsumesContentInstance "%1 %n{ne} classe %n{pas} le contenu de %2") french_format.kif 138-138
(format ItalianLanguage subsumesContentInstance "%1 sussume il contenuto di %2") relations-it.txt 283-283
(format JapaneseLanguage subsumesContentInstance "%1 は %2 の コンテンツを subsume%p{s} %n{ない}") japanese_format.kif 1969-1969
(format PortugueseLanguage subsumesContentInstance "%1 %n{nao} subsume %n o conteudo de %2") portuguese_format.kif 90-90
(format de subsumesContentInstance "%1 fasst das Inhalt von %2 zusammen") relations-de.txt 311-311
(format hi subsumesContentInstance "%1 %2 ke tatva ko samaavishhta karataa hai") relations-hindi.txt 320-320
(format ro subsumesContentInstance "%1 %n{nu} subsume%t{subsumeazã} conþinutul lui %2") relations-ro.kif 157-157
(format sv subsumesContentInstance "%1 tar %n{inte} ut innehållet i %2") relations-sv.txt 143-143
(format tg subsumesContentInstance "%1 ay nasaklaw ang nilalaman ng %2") relations-tg.txt 475-475
(termFormat ChineseLanguage subsumesContentInstance "包含内容实例") chinese_format.kif 242-242
(termFormat ChineseTraditionalLanguage subsumesContentInstance "包含內容實例") domainEnglishFormat.kif 55823-55823
(termFormat EnglishLanguage subsumesContentInstance "subsumes content instance") domainEnglishFormat.kif 55822-55822
(termFormat de subsumesContentInstance "fasstInhaltsFallZusammen") terms-de.txt 100-100

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


(=>
    (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 14682-14691
(=>
    (and
        (instance ?TEXT ?CLASS)
        (subclass ?CLASS FactualText)
        (authors ?AGENT ?CLASS)
        (subsumesContentInstance ?TEXT ?CONTENT)
        (instance ?CONTENT Formula))
    (believes ?AGENT ?CONTENT))
Merge.kif 15400-15407
(=>
    (and
        (subsumesContentInstance ?OBJ1 ?OBJ2)
        (containsInformation ?OBJ2 ?INFO))
    (containsInformation ?OBJ1 ?INFO))
Merge.kif 4589-4593
(=>
    (and
        (subsumesContentInstance ?OBJ1 ?OBJ2)
        (subsumesContentInstance ?OBJ2 ?OBJ1))
    (equivalentContentInstance ?OBJ1 ?OBJ2))
Merge.kif 4562-4566

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


(=>
    (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 14682-14691
(=>
    (and
        (instance ?REGISTRATION ShipRegistration)
        (instance ?SHIP Ship)
        (possesses ?SHIP ?REGISTRATION)
        (instance ?AREA GeopoliticalArea)
        (flagState ?SHIP ?AREA))
    (subsumesContentInstance
        (ShipRegisterFn ?AREA) ?REGISTRATION))
Transportation.kif 1097-1104
(=>
    (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
(=>
    (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 15431-15440
(=>
    (equivalentContentInstance ?OBJ1 ?OBJ2)
    (and
        (subsumesContentInstance ?OBJ1 ?OBJ2)
        (subsumesContentInstance ?OBJ2 ?OBJ1)))
Merge.kif 4568-4572
(=>
    (instance ?CHAPTER Chapter)
    (exists (?BOOK)
        (and
            (instance ?BOOK Book)
            (subsumesContentInstance ?BOOK ?CHAPTER))))
Mid-level-ontology.kif 14698-14703
(=>
    (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 29659-29667
(=>
    (instance ?FILE SoftwareFile)
    (exists (?PROGRAM ?SUBPROGRAM)
        (and
            (instance ?PROGRAM ComputerProgram)
            (subsumesContentInstance ?PROGRAM ?SUBPROGRAM)
            (containsInformation ?FILE ?SUBPROGRAM))))
Media.kif 1534-1540
(=>
    (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 29710-29722
(=>
    (instance ?PAPER Newspaper)
    (exists (?REPORT)
        (and
            (instance ?REPORT Report)
            (subsumesContentInstance ?PAPER ?REPORT))))
Mid-level-ontology.kif 14782-14787
(=>
    (instance ?S MotionPictureScene)
    (exists (?M)
        (and
            (instance ?M MotionPicture)
            (subsumesContentInstance ?M ?S))))
Mid-level-ontology.kif 14576-14581
(=>
    (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 14650-14658
(=>
    (instance ?SHOT MotionPictureShot)
    (exists (?MOVIE)
        (and
            (instance ?MOVIE MotionPicture)
            (subsumesContentInstance ?MOVIE ?SHOT))))
Mid-level-ontology.kif 14552-14557
(=>
    (instance ?TEXT Summary)
    (exists (?TEXT2)
        (and
            (instance ?TEXT2 Text)
            (subsumesContentInstance ?TEXT2 ?TEXT))))
Merge.kif 15590-15595
(=>
    (subProposition ?PROP1 ?PROP2)
    (forall (?OBJ1 ?OBJ2)
        (=>
            (and
                (containsInformation ?OBJ1 ?PROP1)
                (containsInformation ?OBJ2 ?PROP2))
            (subsumesContentInstance ?OBJ2 ?OBJ1))))
Merge.kif 4645-4652