| appearance as argument number 1 |
|
| (documentation PrintedSheet EnglishLanguage "An instance of PrintedSheet is a piece of flat material such as paper, vellum, or plastic on which some Image or LinguisticExpression has been written, printed, embossed, or otherwise deposited.") | Media.kif 1056-1060 | |
| (subclass PrintedSheet DataDisplayDevice) | Media.kif 1066-1066 | |
| (subclass PrintedSheet DataStorageDevice) | Media.kif 1067-1067 | |
| (subclass PrintedSheet VisualContentBearingObject) | Media.kif 1065-1065 |
| appearance as argument number 2 |
|
|
| (subclass Poster PrintedSheet) | Media.kif 1101-1101 | |
| (subclass Transparency PrintedSheet) | Media.kif 1108-1108 | |
| (termFormat EnglishLanguage PrintedSheet "printed sheet") | domainEnglishFormat.kif 65383-65383 |
| antecedent |
|
|
| (=> (instance ?OBJ PrintedSheet) (shape ?OBJ Flat)) |
Media.kif 1069-1071 |
| consequent |
|
|
| (=> (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 26563-26579 | |
| (=> (instance ?BOOK Book) (exists (?SHEET1 ?SHEET2) (and (component ?SHEET1 ?BOOK) (component ?SHEET2 ?BOOK) (instance ?SHEET1 PrintedSheet) (instance ?SHEET2 PrintedSheet) (not (equal ?SHEET1 ?SHEET2))))) |
Media.kif 1075-1083 | |
| (=> (instance ?BOOK HardcopyDocument) (exists (?SHEET) (and (component ?SHEET ?BOOK) (instance ?SHEET PrintedSheet)))) |
Media.kif 1039-1044 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners