| 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 28111-28114 | |
| (subclass VisualContentBearingObject ContentBearingObject) | Mid-level-ontology.kif 28109-28109 | |
| (subclass VisualContentBearingObject VisualContentBearingPhysical) | Mid-level-ontology.kif 28110-28110 |
| appearance as argument number 2 |
|
|
| (subclass ArtWork VisualContentBearingObject) | Mid-level-ontology.kif 28121-28121 | |
| (subclass HardcopyDocument VisualContentBearingObject) | Media.kif 1030-1030 | |
| (subclass Image VisualContentBearingObject) | Mid-level-ontology.kif 28116-28116 | |
| (subclass PrintedSheet VisualContentBearingObject) | Media.kif 1065-1065 | |
| (termFormat EnglishLanguage VisualContentBearingObject "visual content bearing object") | domainEnglishFormat.kif 65699-65699 |
| 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 28228-28239 | |
| (=> (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 28198-28214 |
| 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 28228-28239 | |
| (=> (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 28198-28214 |
| 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 19773-19790 |
|
|
|