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 28098-28101
(subclass VisualContentBearingObject ContentBearingObject) Mid-level-ontology.kif 28096-28096 VisualContentBearingObject est une sous-classe de objet exprimant un sens
(subclass VisualContentBearingObject VisualContentBearingPhysical) Mid-level-ontology.kif 28097-28097 VisualContentBearingObject est une sous-classe de VisualContentBearingPhysical

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


(subclass ArtWork VisualContentBearingObject) Mid-level-ontology.kif 28108-28108 Objet d'art est une sous-classe de VisualContentBearingObject
(subclass HardcopyDocument VisualContentBearingObject) Media.kif 1030-1030 HardcopyDocument est une sous-classe de VisualContentBearingObject
(subclass Image VisualContentBearingObject) Mid-level-ontology.kif 28103-28103 Image est une sous-classe de VisualContentBearingObject
(subclass PrintedSheet VisualContentBearingObject) Media.kif 1065-1065 PrintedSheet est une sous-classe de VisualContentBearingObject
(termFormat EnglishLanguage VisualContentBearingObject "visual content bearing object") domainEnglishFormat.kif 65699-65699 PrintedSheet est une sous-classe de VisualContentBearingObject

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 28215-28226 Processus est une instance de Photocopying ContentBearingPhysical est un patient de processus ContentBearingPhysical est une instance de VisualContentBearingObject ContentBearingPhysical contient information proposition ContentBearingPhysical proposition ContentBearingPhysical est le resultat de processus ContentBearingPhysical est une instance de VisualContentBearingObject ContentBearingPhysical contient information proposition equal proposition and proposition
(=>
    (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 28185-28201

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 28215-28226 Processus est une instance de Photocopying ContentBearingPhysical est un patient de processus ContentBearingPhysical est une instance de VisualContentBearingObject ContentBearingPhysical contient information proposition ContentBearingPhysical proposition ContentBearingPhysical est le resultat de processus ContentBearingPhysical est une instance de VisualContentBearingObject ContentBearingPhysical contient information proposition equal proposition and proposition
(=>
    (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 28185-28201

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 19759-19776 ?X ?CUT, ?PAPER, ?CBO and ?INFO ?X est une instance de PaperShredder ?CUT est une instance de couper ?X est un instrument pour ?CUT ?PAPER est une instance de Paper ?PAPER est un patient de ?CUT ?CBO est situ� � ?PAPER ?CBO est une instance de VisualContentBearingObject ?CBO contient information ?INFO diminue la probabilit� de ?READ ?READ est une instance de Interpreting ?INFO est un patient de ?READ temps d'existence de ?CUT arrive plus t�t que temps d'existence de ?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