|
|
   Photocopier
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Photocopier EnglishLanguage "An ElectricDevice designed for Making a two dimensional representation of an Object or a copy of a TwoDimensionalObject. Note that it is not necessarily used for Copying because it doesn't preserve all the Attributes of the original.") | Mid-level-ontology.kif 25683-25685 | |
| (subclass Photocopier ElectricDevice) | Mid-level-ontology.kif 25682-25682 |
| antecedent |
|
|
| (=> (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 25687-25705 | |
| (=> (instance ?X Photocopier) (hasPurpose ?X (exists (?COPY) (and (instance ?COPY Photocopying) (instrument ?COPY ?X))))) |
Mid-level-ontology.kif 25707-25713 |
| consequent |
|
|
| (=> (and (instance ?X PhotocopyingService) (serviceProvider ?X ?AGENT)) (exists (?DEVICE) (and (instance ?DEVICE Photocopier) (possesses ?AGENT ?DEVICE) (instrument ?X ?DEVICE)))) |
Hotel.kif 2111-2119 |
|
|
|