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


KB Term:  Term intersection
English Word: 

Sigma KEE - VisualContentBearingObject
VisualContentBearingObject(visual content bearing object)sight

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


(subclass VisualContentBearingObject ContentBearingObject) Merge.kif 16141-16141 Visual content bearing object is a subclass of content bearing object
(subclass VisualContentBearingObject VisualContentBearingPhysical) Merge.kif 16142-16142 Visual content bearing object is a subclass of visual content bearing physical
(documentation VisualContentBearingObject EnglishLanguage "Instances of VisualContentBearingObject are ContentBearingObjects that are intended to convey meaning as the result of being seen.") Merge.kif 16143-16146 Visual content bearing object is a subclass of visual content bearing physical

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


(subclass ArtWork VisualContentBearingObject) Merge.kif 16154-16154 Art work is a subclass of visual content bearing object
(subclass Image VisualContentBearingObject) Mid-level-ontology.kif 28775-28775 Image is a subclass of visual content bearing object
(subclass HardcopyDocument VisualContentBearingObject) Mid-level-ontology.kif 28971-28971 Hardcopy document is a subclass of visual content bearing object
(subclass PrintedSheet VisualContentBearingObject) Mid-level-ontology.kif 28996-28996 Printed sheet is a subclass of visual content bearing object
(termFormat EnglishLanguage VisualContentBearingObject "visual content bearing object") domainEnglishFormat.kif 65708-65708 Printed sheet is a subclass of visual content bearing object

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


(=>
    (and
        (instance ?X PaperShredder)
        (instance ?CUT Cutting)
        (instance ?CBO VisualContentBearingObject)
        (containsInformation ?CBO ?INFO)
        (instrument ?CUT ?X)
        (instance ?PAPER Paper)
        (patient ?CUT ?PAPER)
        (located ?CBO ?PAPER))
    (modalAttribute
        (exists (?READ)
            (and
                (instance ?READ Interpreting)
                (patient ?READ ?INFO)
                (earlier
                    (WhenFn ?CUT)
                    (WhenFn ?READ)))) Unlikely))		 Mid-level-ontology.kif 20134-20151 If All of the following hold: (1) X is an instance of paper shredder (2) Y is an instance of cutting (3) Z is an instance of visual content bearing object (4) Z contains information W (5) X is an instrument for Y (6) V is an instance of paper (7) V is a patient of Y (8) Z is located at V, then the statement there exists U such that U is an instance of interpreting, W is a patient of U, and the time of existence of Y happens earlier than the time of existence of U has the modal force of unlikely
(=>
    (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 28856-28872 If All of the following hold: (1) X is an instance of photocopier (2) X is an instrument for Y (3) Y is an instance of photocopying (4) Z is a patient of Y (5) Z is an instance of two dimensional object (6) Z is an instance of visual content bearing object (7) Z contains information W, then All of the following hold: (1) there exist V (2) U such that V is a result of Y (3) V is an instance of two dimensional object (4) V is an instance of visual content bearing object (5) V contains information W (6) V is located at U (7) U is an instance of printed sheet
(<=>
    (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 28886-28897 All of the following hold: (1) X is an instance of photocopying (2) Y is a patient of X (3) Y is an instance of visual content bearing object (4) Y contains information Z if (5) only if there exist W (6) V such that W is a result of X (7) W is an instance of visual content bearing object (8) W contains information V (9) equal Z (10) V

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


(=>
    (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 28856-28872 If All of the following hold: (1) X is an instance of photocopier (2) X is an instrument for Y (3) Y is an instance of photocopying (4) Z is a patient of Y (5) Z is an instance of two dimensional object (6) Z is an instance of visual content bearing object (7) Z contains information W, then All of the following hold: (1) there exist V (2) U such that V is a result of Y (3) V is an instance of two dimensional object (4) V is an instance of visual content bearing object (5) V contains information W (6) V is located at U (7) U is an instance of printed sheet
(<=>
    (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 28886-28897 All of the following hold: (1) X is an instance of photocopying (2) Y is a patient of X (3) Y is an instance of visual content bearing object (4) Y contains information Z if (5) only if there exist W (6) V such that W is a result of X (7) W is an instance of visual content bearing object (8) W contains information V (9) equal Z (10) V


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-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners