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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - VisualContentBearingObject
VisualContentBearingObjectsight

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 24202-24205
(subclass VisualContentBearingObject ContentBearingObject) Mid-level-ontology.kif 24200-24200 VisualContentBearingObject is a subclass of content bearing object
(subclass VisualContentBearingObject VisualContentBearingPhysical) Mid-level-ontology.kif 24201-24201 VisualContentBearingObject is a subclass of VisualContentBearingPhysical

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


(subclass HardcopyDocument VisualContentBearingObject) Media.kif 1030-1030 HardcopyDocument is a subclass of VisualContentBearingObject
(subclass Image VisualContentBearingObject) Mid-level-ontology.kif 24207-24207 Image is a subclass of VisualContentBearingObject
(subclass PrintedSheet VisualContentBearingObject) Media.kif 1069-1069 PrintedSheet is a subclass of VisualContentBearingObject

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


(=>
    (and
        (instance ?X PaperShredder)
        (instance ?CUT Cutting)
        (instrument ?CUT ?X))
    (hasPurpose ?CUT
        (=>
            (and
                (instance ?CBO VisualContentBearingObject)
                (containsInformation ?CBO ?INFO)
                (instance ?PAPER Paper)
                (located ?CBO ?PAPER))
            (decreasesLikelihood
                (patient ?CUT ?PAPER)
                (exists (?READ)
                    (and
                        (instance ?READ Interpreting)
                        (patient ?READ ?INFO)
                        (earlier
                            (WhenFn ?CUT)
                            (WhenFn ?READ))))))))
Mid-level-ontology.kif 15892-15912
(=>
    (instance ?COPY Photocopying)
    (exists (?OBJ1 ?OBJ2)
        (and
            (instance ?OBJ1 Object)
            (instance ?OBJ2 VisualContentBearingObject)
            (patient ?COPY ?OBJ1)
            (result ?COPY ?OBJ2)
            (represents ?OBJ2 ?OBJ1))))
Mid-level-ontology.kif 24387-24395
(=>
    (instance ?X Photocopier)
    (hasPurpose ?X
        (=>
            (and
                (instance ?OBJ1 TwoDimensionalObject)
                (instance ?OBJ1 VisualContentBearingObject)
                (containsInformation ?OBJ1 ?INFO)
                (instance ?COPY Photocopying)
                (instrument ?COPY ?X)
                (patient ?COPY ?OBJ1))
            (exists (?OBJ2 ?SHEET)
                (and
                    (result ?COPY ?OBJ2)
                    (instance ?OBJ2 TwoDimensionalObject)
                    (instance ?OBJ2 VisualContentBearingObject)
                    (instance ?SHEET PrintedSheet)
                    (located ?OBJ2 ?SHEET)
                    (containsInformation ?OBJ2 ?INFO))))))
Mid-level-ontology.kif 24357-24375


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners