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 an exact copy.") | Mid-level-ontology.kif 26314-26315 | |
(subclass Photocopying Making) | Mid-level-ontology.kif 26313-26313 |
appearance as argument number 2 |
(termFormat EnglishLanguage Photocopying "photocopying") | domainEnglishFormat.kif 65309-65309 |
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 26317-26328 | |
(=> (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 26287-26303 |
consequent |
(=> (instance ?X Photocopier) (hasPurpose ?X (exists (?COPY) (and (instance ?COPY Photocopying) (instrument ?COPY ?X))))) |
Mid-level-ontology.kif 26305-26311 | |
(=> (instance ?X PhotocopyingService) (exists (?COPY) (and (instance ?COPY Photocopying) (subProcess ?COPY ?X)))) |
Hotel.kif 2131-2136 |