PrintedSheet - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - PrintedSheet

PrintedSheet(printed sheet)

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	Printed sheet is a subclass of data display device
(subclass PrintedSheet DataStorageDevice)	Media.kif 1067-1067	Printed sheet is a subclass of data storage device
(subclass PrintedSheet VisualContentBearingObject)	Media.kif 1065-1065	Printed sheet is a subclass of visual content bearing object

appearance as argument number 2

(subclass Poster PrintedSheet)	Media.kif 1101-1101	Poster is a subclass of printed sheet
(subclass Transparency PrintedSheet)	Media.kif 1108-1108	Transparency is a subclass of printed sheet
(termFormat EnglishLanguage PrintedSheet "printed sheet")	domainEnglishFormat.kif 65406-65406	Transparency is a subclass of printed sheet

antecedent

(=>
(instance ?OBJ PrintedSheet)
(shape ?OBJ Flat))

Media.kif 1069-1071

If a physical is an instance of printed sheet,
then the physical is flat

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	If an object is an instance of photocopier and the object is an instrument for a process and the process is an instance of photocopying and a content bearing physical is a patient of the process and the content bearing physical is an instance of two dimensional object and the content bearing physical is an instance of visual content bearing object and the content bearing physical contains information a proposition, then there exist another content bearing physical and another object such that the other content bearing physical is a result of the process and the other content bearing physical is an instance of two dimensional object and the other content bearing physical is an instance of visual content bearing object and the other content bearing physical contains information the proposition and the other content bearing physical is located at the other object and the other object is an instance of printed sheet
(=> (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	If a corpuscular object is an instance of book, then there exist another corpuscular object and a third corpuscular object such that the other corpuscular object is a component of the corpuscular object and the third corpuscular object is a component of the corpuscular object and the other corpuscular object is an instance of printed sheet and the third corpuscular object is an instance of printed sheet and the other corpuscular object is not equal to the third corpuscular object
(=> (instance ?BOOK HardcopyDocument) (exists (?SHEET) (and (component ?SHEET ?BOOK) (instance ?SHEET PrintedSheet))))	Media.kif 1039-1044	If a corpuscular object is an instance of hardcopy document, then there exists another corpuscular object such that the other corpuscular object is a component of the corpuscular object and the other corpuscular object is an instance of printed sheet

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