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

No TPTP formula. May not be expressible in strict first order.	Media.kif 1056-1060
No TPTP formula. May not be expressible in strict first order.	Media.kif 1066-1066	Printed sheet is a subclass of data display device
No TPTP formula. May not be expressible in strict first order.	Media.kif 1067-1067	Printed sheet is a subclass of data storage device
No TPTP formula. May not be expressible in strict first order.	Media.kif 1065-1065	Printed sheet is a subclass of visual content bearing object

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Media.kif 1101-1101	Poster is a subclass of printed sheet
No TPTP formula. May not be expressible in strict first order.	Media.kif 1108-1108	Transparency is a subclass of printed sheet
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65358-65358

antecedent

No TPTP formula. May not be expressible in strict first order.

Media.kif 1069-1071

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

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26299-26315	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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