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) Mid-level-ontology.kif 28877-28877 Visual content bearing object is a subclass of content bearing object
(subclass VisualContentBearingObject VisualContentBearingPhysical) Mid-level-ontology.kif 28878-28878 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.") Mid-level-ontology.kif 28879-28882 Visual content bearing object is a subclass of visual content bearing physical

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


(subclass Image VisualContentBearingObject) Mid-level-ontology.kif 28884-28884 Image is a subclass of visual content bearing object
(subclass ArtWork VisualContentBearingObject) Mid-level-ontology.kif 28889-28889 Art work is a subclass of visual content bearing object
(subclass HardcopyDocument VisualContentBearingObject) Media.kif 1030-1030 Hardcopy document is a subclass of visual content bearing object
(subclass PrintedSheet VisualContentBearingObject) Media.kif 1065-1065 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 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 28966-28982 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 28996-29007 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 28966-28982 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 28996-29007 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

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 20112-20129 All of the following hold: (1) there exist ?X, ?CUT,, , ?PAPER,, , ?CBO (2) ?INFO such that ?X is an instance of paper shredder (3) ?CUT is an instance of cutting (4) ?X is an instrument for ?CUT (5) ?PAPER is an instance of paper (6) ?PAPER is a patient of ?CUT (7) ?CBO is located at ?PAPER (8) ?CBO is an instance of visual content bearing object (9) ?CBO contains information ?INFO decreases likelihood of there exists ?READ such that ?READ is an instance of interpreting (10) ?INFO is a patient of ?READ (11) the time of existence of ?CUT happens earlier than the time of existence of ?READ


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