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 26246-26249
(subclass VisualContentBearingObject ContentBearingObject) Mid-level-ontology.kif 26244-26244 VisualContentBearingObject e' uma sub-classe de Objeto Representendo Conteudo Abstrato
(subclass VisualContentBearingObject VisualContentBearingPhysical) Mid-level-ontology.kif 26245-26245 VisualContentBearingObject e' uma sub-classe de VisualContentBearingPhysical

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


(subclass HardcopyDocument VisualContentBearingObject) Media.kif 1030-1030 HardcopyDocument e' uma sub-classe de VisualContentBearingObject
(subclass Image VisualContentBearingObject) Mid-level-ontology.kif 26251-26251 Image e' uma sub-classe de VisualContentBearingObject
(subclass PrintedSheet VisualContentBearingObject) Media.kif 1065-1065 PrintedSheet e' uma sub-classe de VisualContentBearingObject
(termFormat EnglishLanguage VisualContentBearingObject "visual content bearing object") domainEnglishFormat.kif 65707-65707

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 26362-26373 Processo e' uma instancia de Photocopying ContentBearingPhysical e' um patient de Processo ContentBearingPhysical e' uma instancia de VisualContentBearingObject ContentBearingPhysical contem informacao Proposicao ContentBearingPhysical Proposicao ContentBearingPhysical e' o resultado de Processo ContentBearingPhysical e' uma instancia de VisualContentBearingObject ContentBearingPhysical contem informacao Proposicao Proposicao e' igual a Proposicao
(=>
    (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 26332-26348

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 26362-26373 Processo e' uma instancia de Photocopying ContentBearingPhysical e' um patient de Processo ContentBearingPhysical e' uma instancia de VisualContentBearingObject ContentBearingPhysical contem informacao Proposicao ContentBearingPhysical Proposicao ContentBearingPhysical e' o resultado de Processo ContentBearingPhysical e' uma instancia de VisualContentBearingObject ContentBearingPhysical contem informacao Proposicao Proposicao e' igual a Proposicao
(=>
    (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 26332-26348

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 18229-18246 ?X ?CUT, ?PAPER, ?CBO and ?INFO ?X e' uma instancia de PaperShredder ?CUT e' uma instancia de Cortar ?X e' um instrumento para ?CUT ?PAPER e' uma instancia de Paper ?PAPER e' um patient de ?CUT ?CBO e' situado em ?PAPER ?CBO e' uma instancia de VisualContentBearingObject ?CBO contem informacao ?INFO diminui a probabilidade de ?READ ?READ e' uma instancia de Interpreting ?INFO e' um patient de ?READ tempo de existencia de ?CUT acontence antes de tempo de existencia 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