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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - VisualContentBearingObject
VisualContentBearingObject

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


(documentation VisualContentBearingObject EnglishLanguage "Instances of VisualContentBearingObject are ContentBearingObjects that are intended to convey meaning as the result of being seen.") Mid-level-ontology.kif 28111-28114
(subclass VisualContentBearingObject ContentBearingObject) Mid-level-ontology.kif 28109-28109 VisualContentBearingObject は コンテンツベアリングオブジェクト の subclass では
(subclass VisualContentBearingObject VisualContentBearingPhysical) Mid-level-ontology.kif 28110-28110 VisualContentBearingObject は VisualContentBearingPhysical の subclass では

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


(subclass ArtWork VisualContentBearingObject) Mid-level-ontology.kif 28121-28121 芸術作品 は VisualContentBearingObject の subclass では
(subclass HardcopyDocument VisualContentBearingObject) Media.kif 1030-1030 HardcopyDocument は VisualContentBearingObject の subclass では
(subclass Image VisualContentBearingObject) Mid-level-ontology.kif 28116-28116 Image は VisualContentBearingObject の subclass では
(subclass PrintedSheet VisualContentBearingObject) Media.kif 1065-1065 PrintedSheet は VisualContentBearingObject の subclass では
(termFormat EnglishLanguage VisualContentBearingObject "visual content bearing object") domainEnglishFormat.kif 65699-65699 PrintedSheet は VisualContentBearingObject の subclass では

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


(<=>
    (and
        (instance ?COPY Photocopying)
        (patient ?COPY ?OBJ1)
        (instance ?OBJ1 VisualContentBearingObject)
        (containsInformation ?OBJ1 ?INFO1))
    (exists (?OBJ2 ?INFO2)
        (and
            (result ?COPY ?OBJ2)
            (instance ?OBJ2 VisualContentBearingObject)
            (containsInformation ?OBJ2 ?INFO2)
            (equal ?INFO1 ?INFO2))))		 Mid-level-ontology.kif 28228-28239 工程 は Photocopying の instance では ContentBearingPhysical は 工程 の patient では ContentBearingPhysical は VisualContentBearingObject の instance では ContentBearingPhysical は 命題 の情報を contains ContentBearingPhysical 命題 ContentBearingPhysical は 工程 の result では ContentBearingPhysical は VisualContentBearingObject の instance では ContentBearingPhysical は 命題 の情報を contains equal 命題 and 命題
(=>
    (and
        (instance ?X Photocopier)
        (instrument ?COPY ?X)
        (instance ?COPY Photocopying)
        (patient ?COPY ?OBJ1)
        (instance ?OBJ1 TwoDimensionalObject)
        (instance ?OBJ1 VisualContentBearingObject)
        (containsInformation ?OBJ1 ?INFO))
    (exists (?OBJ2 ?SHEET)
        (and
            (result ?COPY ?OBJ2)
            (instance ?OBJ2 TwoDimensionalObject)
            (instance ?OBJ2 VisualContentBearingObject)
            (containsInformation ?OBJ2 ?INFO)
            (located ?OBJ2 ?SHEET)
            (instance ?SHEET PrintedSheet))))		 Mid-level-ontology.kif 28198-28214

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


(<=>
    (and
        (instance ?COPY Photocopying)
        (patient ?COPY ?OBJ1)
        (instance ?OBJ1 VisualContentBearingObject)
        (containsInformation ?OBJ1 ?INFO1))
    (exists (?OBJ2 ?INFO2)
        (and
            (result ?COPY ?OBJ2)
            (instance ?OBJ2 VisualContentBearingObject)
            (containsInformation ?OBJ2 ?INFO2)
            (equal ?INFO1 ?INFO2))))		 Mid-level-ontology.kif 28228-28239 工程 は Photocopying の instance では ContentBearingPhysical は 工程 の patient では ContentBearingPhysical は VisualContentBearingObject の instance では ContentBearingPhysical は 命題 の情報を contains ContentBearingPhysical 命題 ContentBearingPhysical は 工程 の result では ContentBearingPhysical は VisualContentBearingObject の instance では ContentBearingPhysical は 命題 の情報を contains equal 命題 and 命題
(=>
    (and
        (instance ?X Photocopier)
        (instrument ?COPY ?X)
        (instance ?COPY Photocopying)
        (patient ?COPY ?OBJ1)
        (instance ?OBJ1 TwoDimensionalObject)
        (instance ?OBJ1 VisualContentBearingObject)
        (containsInformation ?OBJ1 ?INFO))
    (exists (?OBJ2 ?SHEET)
        (and
            (result ?COPY ?OBJ2)
            (instance ?OBJ2 TwoDimensionalObject)
            (instance ?OBJ2 VisualContentBearingObject)
            (containsInformation ?OBJ2 ?INFO)
            (located ?OBJ2 ?SHEET)
            (instance ?SHEET PrintedSheet))))		 Mid-level-ontology.kif 28198-28214

statement
-------------------------


(decreasesLikelihood
    (exists (?X ?CUT ?PAPER ?CBO ?INFO)
        (and
            (instance ?X PaperShredder)
            (instance ?CUT Cutting)
            (instrument ?CUT ?X)
            (instance ?PAPER Paper)
            (patient ?CUT ?PAPER)
            (located ?CBO ?PAPER)
            (instance ?CBO VisualContentBearingObject)
            (containsInformation ?CBO ?INFO)))
    (exists (?READ)
        (and
            (instance ?READ Interpreting)
            (patient ?READ ?INFO)
            (earlier
                (WhenFn ?CUT)
                (WhenFn ?READ)))))		 Mid-level-ontology.kif 19773-19790 ?X ?CUT, ?PAPER, ?CBO and ?INFO ?X は PaperShredder の instance では ?CUT は 切断 の instance では ?X は ?CUT の instrument では ?PAPER は Paper の instance では ?PAPER は ?CUT の patient では ?CBO は ?PAPER に located して ?CBO は VisualContentBearingObject の instance では ?CBO は ?INFO の情報を contains は ?READ ?READ は Interpreting の instance では ?INFO は ?READ の patient では ?CUT の time の existence は ?READ の time の existence より earlier happens を decreases 可能性がある


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 is open source software produced by Articulate Software and its partners