| 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 26326-26328 | |
| (subclass Photocopier ElectricDevice) | Mid-level-ontology.kif 26325-26325 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Photocopier "photocopier") | domainEnglishFormat.kif 65310-65310 |
| antecedent |
|
|
| (=> (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 26332-26348 | |
| (=> (instance ?X Photocopier) (hasPurpose ?X (exists (?COPY) (and (instance ?COPY Photocopying) (instrument ?COPY ?X))))) |
Mid-level-ontology.kif 26350-26356 |
| consequent |
|
|
| (=> (and (instance ?X PhotocopyingService) (serviceProvider ?X ?AGENT)) (exists (?DEVICE) (and (instance ?DEVICE Photocopier) (possesses ?AGENT ?DEVICE) (instrument ?X ?DEVICE)))) |
Hotel.kif 2138-2146 |
|
|
|