|
|
   Photocopying
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Photocopying EnglishLanguage "The Process of Making a two dimensional representation of an Object. Note the difference between Photocopying and Copying, the result of Copying is na exact copy.") | Mid-level-ontology.kif 25712-25713 | |
| (subclass Photocopying Making) | Mid-level-ontology.kif 25711-25711 |
| antecedent |
|
|
| (=> (instance ?COPY Photocopying) (exists (?OBJ1 ?OBJ2) (and (instance ?OBJ1 Object) (instance ?OBJ2 VisualContentBearingObject) (patient ?COPY ?OBJ1) (result ?COPY ?OBJ2) (represents ?OBJ2 ?OBJ1)))) |
Mid-level-ontology.kif 25715-25723 |
| consequent |
|
|
| (=> (instance ?X Photocopier) (hasPurpose ?X (=> (and (instance ?OBJ1 TwoDimensionalObject) (instance ?OBJ1 VisualContentBearingObject) (containsInformation ?OBJ1 ?INFO) (instance ?COPY Photocopying) (instrument ?COPY ?X) (patient ?COPY ?OBJ1)) (exists (?OBJ2 ?SHEET) (and (result ?COPY ?OBJ2) (instance ?OBJ2 TwoDimensionalObject) (instance ?OBJ2 VisualContentBearingObject) (instance ?SHEET PrintedSheet) (located ?OBJ2 ?SHEET) (containsInformation ?OBJ2 ?INFO)))))) |
Mid-level-ontology.kif 25683-25701 | |
| (=> (instance ?X Photocopier) (hasPurpose ?X (exists (?COPY) (and (instance ?COPY Photocopying) (instrument ?COPY ?X))))) |
Mid-level-ontology.kif 25703-25709 | |
| (=> (instance ?X PhotocopyingService) (exists (?COPY) (and (instance ?COPY Photocopying) (subProcess ?COPY ?X)))) |
Hotel.kif 2104-2109 |
|
|
|