TreeView Knowledge Base Browser - PrintedSheet

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - PrintedSheet

PrintedSheet

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	PrintedSheet e' uma sub-classe de DataDisplayDevice
No TPTP formula. May not be expressible in strict first order.	Media.kif 1067-1067	PrintedSheet e' uma sub-classe de DataStorageDevice
No TPTP formula. May not be expressible in strict first order.	Media.kif 1065-1065	PrintedSheet e' uma sub-classe de VisualContentBearingObject

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Media.kif 1101-1101	Poster e' uma sub-classe de PrintedSheet
No TPTP formula. May not be expressible in strict first order.	Media.kif 1108-1108	Transparency e' uma sub-classe de PrintedSheet
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

Fisico e' uma instancia de PrintedSheet
shape Fisico and Flat

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26299-26315	Objeto e' uma instancia de Photocopier Objeto e' um instrumento para Processo Processo e' uma instancia de Photocopying ContentBearingPhysical e' um patient de Processo ContentBearingPhysical e' uma instancia de TwoDimensionalObject ContentBearingPhysical e' uma instancia de VisualContentBearingObject ContentBearingPhysical contem informacao Proposicao ContentBearingPhysical Objeto ContentBearingPhysical e' o resultado de Processo ContentBearingPhysical e' uma instancia de TwoDimensionalObject ContentBearingPhysical e' uma instancia de VisualContentBearingObject ContentBearingPhysical contem informacao Proposicao ContentBearingPhysical e' situado em Objeto Objeto e' uma instancia de PrintedSheet
No TPTP formula. May not be expressible in strict first order.	Media.kif 1075-1083	Objeto Corpuscular e' uma instancia de Livro Objeto Corpuscular Objeto Corpuscular Objeto Corpuscular e' um componente de Objeto Corpuscular Objeto Corpuscular e' um componente de Objeto Corpuscular Objeto Corpuscular e' uma instancia de PrintedSheet Objeto Corpuscular e' uma instancia de PrintedSheet Objeto Corpuscular e' igual a Objeto Corpuscular
No TPTP formula. May not be expressible in strict first order.	Media.kif 1039-1044	Objeto Corpuscular e' uma instancia de HardcopyDocument Objeto Corpuscular Objeto Corpuscular e' um componente de Objeto Corpuscular Objeto Corpuscular e' uma instancia de PrintedSheet

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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