VisualContentBearingObject - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - VisualContentBearingObject

VisualContentBearingObject

appearance as argument number 1

(documentation VisualContentBearingObject EnglishLanguage "Instances of VisualContentBearingObject are ContentBearingObjects that are intended to convey meaning as the result of being seen.")	Mid-level-ontology.kif 24239-24242
(subclass VisualContentBearingObject ContentBearingObject)	Mid-level-ontology.kif 24237-24237	VisualContentBearingObject is a subclass of content bearing object
(subclass VisualContentBearingObject VisualContentBearingPhysical)	Mid-level-ontology.kif 24238-24238	VisualContentBearingObject is a subclass of VisualContentBearingPhysical

appearance as argument number 2

(subclass HardcopyDocument VisualContentBearingObject)	Media.kif 1030-1030	HardcopyDocument is a subclass of VisualContentBearingObject
(subclass Image VisualContentBearingObject)	Mid-level-ontology.kif 24244-24244	Image is a subclass of VisualContentBearingObject
(subclass PrintedSheet VisualContentBearingObject)	Media.kif 1069-1069	PrintedSheet is a subclass of VisualContentBearingObject

consequent

(=> (and (instance ?X PaperShredder) (instance ?CUT Cutting) (instrument ?CUT ?X)) (hasPurpose ?CUT (=> (and (instance ?CBO VisualContentBearingObject) (containsInformation ?CBO ?INFO) (instance ?PAPER Paper) (located ?CBO ?PAPER)) (decreasesLikelihood (patient ?CUT ?PAPER) (exists (?READ) (and (instance ?READ Interpreting) (patient ?READ ?INFO) (earlier (WhenFn ?CUT) (WhenFn ?READ))))))))	Mid-level-ontology.kif 15918-15938	If an object is an instance of PaperShredder and a process is an instance of cutting and the object is an instrument for the process, then the process purpose if an entity is an instance of VisualContentBearingObject and the entity contains information another entity and a third entity is an instance of paper and the entity is located at the third entity, then the third entity is a patient of the process decreases likelihood of there exists a fourth entity such that the fourth entity is an instance of interpreting and the other entity is a patient of the fourth entity and the time of existence of the process happens earlier than the time of existence of the fourth entity
(=> (instance ?COPY Photocopying) (exists (?OBJ1 ?OBJ2) (and (instance ?OBJ1 Object) (instance ?OBJ2 VisualContentBearingObject) (patient ?COPY ?OBJ1) (result ?COPY ?OBJ2) (represents ?OBJ2 ?OBJ1))))	Mid-level-ontology.kif 24424-24432	If a process is an instance of Photocopying, then there exist an entity and another entity such that the entity is an instance of object and the other entity is an instance of VisualContentBearingObject and the entity is a patient of the process and the other entity is a result of the process and the other entity expresses the entity
(=> (instance ?X Photocopier) (hasPurpose ?X (=> (and (instance ?OBJ1 TwoDimensionalObject) (instance ?OBJ1 VisualContentBearingObject) (containsInformation ?OBJ1 ?INFO) (instance ?COPY Photocopying) (instrument ?COPY ?X) (patient ?COPY ?OBJ1)) (exists (?OBJ2 ?SHEET) (and (result ?COPY ?OBJ2) (instance ?OBJ2 TwoDimensionalObject) (instance ?OBJ2 VisualContentBearingObject) (instance ?SHEET PrintedSheet) (located ?OBJ2 ?SHEET) (containsInformation ?OBJ2 ?INFO))))))	Mid-level-ontology.kif 24394-24412	If a physical is an instance of Photocopier, then the physical purpose if an entity is an instance of two dimensional object and the entity is an instance of VisualContentBearingObject and the entity contains information another entity and a third entity is an instance of Photocopying and the physical is an instrument for the third entity and the entity is a patient of the third entity, then there exist a fourth entity and a fifth entity such that the fourth entity is a result of the third entity and the fourth entity is an instance of two dimensional object and the fourth entity is an instance of VisualContentBearingObject and the fifth entity is an instance of PrintedSheet and the fourth entity is located at the fifth entity and the fourth entity contains information the other entity

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