Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  ]  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 16017-16017 Visual content bearing object is a subclass of content bearing object
(subclass VisualContentBearingObject VisualContentBearingPhysical) Merge.kif 16018-16018 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 16019-16022 Visual content bearing object is a subclass of visual content bearing physical

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


(subclass ArtWork VisualContentBearingObject) Merge.kif 16030-16030 Art work is a subclass of visual content bearing object
(subclass Image VisualContentBearingObject) Mid-level-ontology.kif 28836-28836 Image is a subclass of visual content bearing object
(termFormat EnglishLanguage VisualContentBearingObject "visual content bearing object") domainEnglishFormat.kif 65708-65708 Image 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 20107-20124 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 28917-28933 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 28947-28958 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 28917-28933 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 28947-28958 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-c58f641d (2026-04-12) is open source software produced by Articulate Software and its partners