VisualContentBearingObject - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27858-27861
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27856-27856	Visual content bearing object is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27857-27857	Visual content bearing object is a subclass of visual content bearing physical

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Media.kif 1030-1030	Hardcopy document is a subclass of visual content bearing object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27863-27863	Image is a subclass of visual content bearing object
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
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65728-65728	Printed sheet is a subclass of visual content bearing object

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27974-27985	A 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 visual content bearing object and the content bearing physical contains information a proposition if and only if there exist another content bearing physical and another proposition such that the other content bearing physical is a result of the process and the other content bearing physical is an instance of visual content bearing object and the other content bearing physical contains information the other proposition and the proposition is equal to the other proposition
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27944-27960	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

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27974-27985	A 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 visual content bearing object and the content bearing physical contains information a proposition if and only if there exist another content bearing physical and another proposition such that the other content bearing physical is a result of the process and the other content bearing physical is an instance of visual content bearing object and the other content bearing physical contains information the other proposition and the proposition is equal to the other proposition
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27944-27960	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

statement

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

Mid-level-ontology.kif 19780-19797

There exist ?X, ?CUT,, , ?PAPER,, , ?CBO and ?INFO such that ?X is an instance of paper shredder and ?CUT is an instance of cutting and ?X is an instrument for ?CUT and ?PAPER is an instance of paper and ?PAPER is a patient of ?CUT and ?CBO is located at ?PAPER and ?CBO is an instance of visual content bearing object and ?CBO contains information ?INFO decreases likelihood of there exists ?READ such that ?READ is an instance of interpreting and ?INFO is a patient of ?READ and the time of existence of ?CUT happens earlier than the time of existence of ?READ

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

KB Term:			Term intersection

English Word: