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 26326-26327 | |
(subclass Photocopying Making) | Mid-level-ontology.kif 26325-26325 |
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 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 |
(=> (instance ?X Photocopier) (hasPurpose ?X (exists (?COPY) (and (instance ?COPY Photocopying) (instrument ?COPY ?X))))) |
Mid-level-ontology.kif 26317-26323 | |
(=> (instance ?X PhotocopyingService) (exists (?COPY) (and (instance ?COPY Photocopying) (subProcess ?COPY ?X)))) |
Hotel.kif 2131-2136 |