|
|
   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 26359-26360 | |
| (subclass Photocopying Making) | Mid-level-ontology.kif 26358-26358 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Photocopying "photocopying") | domainEnglishFormat.kif 65311-65311 |
| 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 26362-26373 | |
| (=> (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 |
| consequent |
|
|
| (=> (instance ?X Photocopier) (hasPurpose ?X (exists (?COPY) (and (instance ?COPY Photocopying) (instrument ?COPY ?X))))) |
Mid-level-ontology.kif 26350-26356 | |
| (=> (instance ?X PhotocopyingService) (exists (?COPY) (and (instance ?COPY Photocopying) (subProcess ?COPY ?X)))) |
Hotel.kif 2131-2136 |
|
|
|