VisualContentBearingObject - Sigma Knowledge base Browser

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 26213-26216
(subclass VisualContentBearingObject ContentBearingObject)	Mid-level-ontology.kif 26211-26211	VisualContentBearingObject 是有内用物体的 subclass
(subclass VisualContentBearingObject VisualContentBearingPhysical)	Mid-level-ontology.kif 26212-26212	VisualContentBearingObject 是 VisualContentBearingPhysical 的 subclass

appearance as argument number 2

(subclass HardcopyDocument VisualContentBearingObject)	Media.kif 1030-1030	HardcopyDocument 是 VisualContentBearingObject 的 subclass
(subclass Image VisualContentBearingObject)	Mid-level-ontology.kif 26218-26218	Image 是 VisualContentBearingObject 的 subclass
(subclass PrintedSheet VisualContentBearingObject)	Media.kif 1065-1065	PrintedSheet 是 VisualContentBearingObject 的 subclass
(termFormat EnglishLanguage VisualContentBearingObject "visual content bearing object")	domainEnglishFormat.kif 65705-65705

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 26329-26340	过程是 Photocopying 的 instance 和内容承载物理是那个过程的 patient 和那个内容承载物理是 VisualContentBearingObject 的 instance 和那个内容承载物理 contains 命题的资料若且唯若有存在另一个内容承载物理和另一个命题这样那个另外内容承载物理是那个过程的 result 和那个另外内容承载物理是 VisualContentBearingObject 的 instance 和那个另外内容承载物理 contains 那个另外命题的资料和那个命题 equal 那个另外命题
(=> (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 26299-26315	如果客体是 Photocopier 的 instance 和那个客体是导致过程的 instrument 和那个过程是 Photocopying 的 instance 和内容承载物理是那个过程的 patient 和那个内容承载物理是二维物体的 instance 和那个内容承载物理是 VisualContentBearingObject 的 instance 和那个内容承载物理 contains 命题的资料，然后有存在另一个内容承载物理和另一个客体这样那个另外内容承载物理是那个过程的 result 和那个另外内容承载物理是二维物体的 instance 和那个另外内容承载物理是 VisualContentBearingObject 的 instance 和那个另外内容承载物理 contains 那个命题的资料和那个另外内容承载物理是 located 在那个另外客体和那个另外客体是 PrintedSheet 的 instance

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 26329-26340	过程是 Photocopying 的 instance 和内容承载物理是那个过程的 patient 和那个内容承载物理是 VisualContentBearingObject 的 instance 和那个内容承载物理 contains 命题的资料若且唯若有存在另一个内容承载物理和另一个命题这样那个另外内容承载物理是那个过程的 result 和那个另外内容承载物理是 VisualContentBearingObject 的 instance 和那个另外内容承载物理 contains 那个另外命题的资料和那个命题 equal 那个另外命题
(=> (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 26299-26315	如果客体是 Photocopier 的 instance 和那个客体是导致过程的 instrument 和那个过程是 Photocopying 的 instance 和内容承载物理是那个过程的 patient 和那个内容承载物理是二维物体的 instance 和那个内容承载物理是 VisualContentBearingObject 的 instance 和那个内容承载物理 contains 命题的资料，然后有存在另一个内容承载物理和另一个客体这样那个另外内容承载物理是那个过程的 result 和那个另外内容承载物理是二维物体的 instance 和那个另外内容承载物理是 VisualContentBearingObject 的 instance 和那个另外内容承载物理 contains 那个命题的资料和那个另外内容承载物理是 located 在那个另外客体和那个另外客体是 PrintedSheet 的 instance

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 18202-18219

有存在 ?X， ?CUT,，， ?PAPER,，， ?CBO， and 和 ?INFO 这样 ?X 是 PaperShredder 的 instance 和 ?CUT 是切开的 instance 和 ?X 是导致 ?CUT 的 instrument 和 ?PAPER 是纸的 instance 和 ?PAPER 是 ?CUT 的 patient 和 ?CBO 是 located 在 ?PAPER 和 ?CBO 是 VisualContentBearingObject 的 instance 和 ?CBO contains ?INFO 的资料减少有存在 ?READ 这样 ?READ 是解读的 instance 和 ?INFO 是 ?READ 的 patient 和 ?CUT 出现的 time 比?READ 出现的 time发生的earlier 发生的机率

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

KB Term:			Term intersection

English Word: