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 est une sous-classe de objet exprimant un sens
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26212-26212	VisualContentBearingObject est une sous-classe de VisualContentBearingPhysical

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Media.kif 1030-1030	HardcopyDocument est une sous-classe de VisualContentBearingObject
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26218-26218	Image est une sous-classe de VisualContentBearingObject
No TPTP formula. May not be expressible in strict first order.	Media.kif 1065-1065	PrintedSheet est une sous-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	Processus est une instance de Photocopying ContentBearingPhysical est un patient de processus ContentBearingPhysical est une instance de VisualContentBearingObject ContentBearingPhysical contient information proposition ContentBearingPhysical proposition ContentBearingPhysical est le resultat de processus ContentBearingPhysical est une instance de VisualContentBearingObject ContentBearingPhysical contient information proposition proposition est proposition
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26299-26315	Objet est une instance de Photocopier objet est un instrument pour processus processus est une instance de Photocopying ContentBearingPhysical est un patient de processus ContentBearingPhysical est une instance de TwoDimensionalObject ContentBearingPhysical est une instance de VisualContentBearingObject ContentBearingPhysical contient information proposition ContentBearingPhysical objet ContentBearingPhysical est le resultat de processus ContentBearingPhysical est une instance de TwoDimensionalObject ContentBearingPhysical est une instance de VisualContentBearingObject ContentBearingPhysical contient information proposition ContentBearingPhysical est situ� � objet objet est une instance de PrintedSheet

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26329-26340	Processus est une instance de Photocopying ContentBearingPhysical est un patient de processus ContentBearingPhysical est une instance de VisualContentBearingObject ContentBearingPhysical contient information proposition ContentBearingPhysical proposition ContentBearingPhysical est le resultat de processus ContentBearingPhysical est une instance de VisualContentBearingObject ContentBearingPhysical contient information proposition proposition est proposition
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26299-26315	Objet est une instance de Photocopier objet est un instrument pour processus processus est une instance de Photocopying ContentBearingPhysical est un patient de processus ContentBearingPhysical est une instance de TwoDimensionalObject ContentBearingPhysical est une instance de VisualContentBearingObject ContentBearingPhysical contient information proposition ContentBearingPhysical objet ContentBearingPhysical est le resultat de processus ContentBearingPhysical est une instance de TwoDimensionalObject ContentBearingPhysical est une instance de VisualContentBearingObject ContentBearingPhysical contient information proposition ContentBearingPhysical est situ� � objet objet est une instance 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 est une instance de PaperShredder ?CUT est une instance de couper ?X est un instrument pour ?CUT ?PAPER est une instance de Paper ?PAPER est un patient de ?CUT ?CBO est situ� � ?PAPER ?CBO est une instance de VisualContentBearingObject ?CBO contient information ?INFO diminue la probabilit� de ?READ ?READ est une instance de Interpreting ?INFO est un patient de ?READ temps d'existence de ?CUT arrive plus t�t que temps d'existence de ?READ