TreeView Knowledge Base Browser - VisualContentBearingObject

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26213-26216
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26211-26211	VisualContentBearingObject e' uma sub-classe de Objeto Representendo Conteudo Abstrato
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26212-26212	VisualContentBearingObject e' uma sub-classe de VisualContentBearingPhysical

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Media.kif 1030-1030	HardcopyDocument e' uma sub-classe de VisualContentBearingObject
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26218-26218	Image e' uma sub-classe de VisualContentBearingObject
No TPTP formula. May not be expressible in strict first order.	Media.kif 1065-1065	PrintedSheet e' uma sub-classe de VisualContentBearingObject
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65705-65705

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26329-26340	Processo e' uma instancia de Photocopying ContentBearingPhysical e' um patient de Processo ContentBearingPhysical e' uma instancia de VisualContentBearingObject ContentBearingPhysical contem informacao Proposicao ContentBearingPhysical Proposicao ContentBearingPhysical e' o resultado de Processo ContentBearingPhysical e' uma instancia de VisualContentBearingObject ContentBearingPhysical contem informacao Proposicao Proposicao e' igual a Proposicao
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

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26329-26340	Processo e' uma instancia de Photocopying ContentBearingPhysical e' um patient de Processo ContentBearingPhysical e' uma instancia de VisualContentBearingObject ContentBearingPhysical contem informacao Proposicao ContentBearingPhysical Proposicao ContentBearingPhysical e' o resultado de Processo ContentBearingPhysical e' uma instancia de VisualContentBearingObject ContentBearingPhysical contem informacao Proposicao Proposicao e' igual a Proposicao
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

statement

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

Mid-level-ontology.kif 18202-18219

?X ?CUT, ?PAPER, ?CBO and ?INFO ?X e' uma instancia de PaperShredder ?CUT e' uma instancia de Cortar ?X e' um instrumento para ?CUT ?PAPER e' uma instancia de Paper ?PAPER e' um patient de ?CUT ?CBO e' situado em ?PAPER ?CBO e' uma instancia de VisualContentBearingObject ?CBO contem informacao ?INFO diminui a probabilidade de ?READ ?READ e' uma instancia de Interpreting ?INFO e' um patient de ?READ tempo de existencia de ?CUT acontence antes de tempo de existencia de ?READ