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 26213-26216 | |
(subclass VisualContentBearingObject ContentBearingObject) | Mid-level-ontology.kif 26211-26211 | |
(subclass VisualContentBearingObject VisualContentBearingPhysical) | Mid-level-ontology.kif 26212-26212 |
appearance as argument number 2 |
(subclass HardcopyDocument VisualContentBearingObject) | Media.kif 1030-1030 | |
(subclass Image VisualContentBearingObject) | Mid-level-ontology.kif 26218-26218 | |
(subclass PrintedSheet VisualContentBearingObject) | Media.kif 1065-1065 | |
(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 | |
(=> (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 |
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 | |
(=> (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 |
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 |