ContentBearingObject - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 1356-1358
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1352-1355
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1351-1351	Content bearing object is internally related to contains information
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1350-1350	Content bearing object is a subclass of content bearing physical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1349-1349	Content bearing object is a subclass of corpuscular object

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Society.kif 1291-1291	Appellation is an instance of content bearing object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15488-15488	The values returned by edition are subclasses of content bearing object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2721-2721	Compass is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1345-1345	Computer file is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order.	Government.kif 676-676	Constitution document is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21899-21899	Descriptor is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21921-21921	DescriptorPart is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23999-23999	Document is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 670-670	Feedback is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order.	Offers.kif 211-211	GreetingCard is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12311-12311	Holiday card is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order.	engineering.kif 386-386	Multipole diagram is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14449-14449	Playing card is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 552-552	Process state is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11745-11745	Recording is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11770-11770	Sheet music is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1053-1053	Ship register is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1034-1034	Ship registration is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14443-14443	Sign is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1360-1360	Symbolic string is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15321-15321	Text is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1670-1670	Uniform resource identifier is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2024-2024	User account is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23758-23758	VisualContentBearingObject is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1368-1368	Web document is a subclass of content bearing object

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3390-3390	The number 1 argument of card code is an instance of content bearing object
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2180-2180	The number 1 argument of coding is an instance of content bearing object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20838-20838	The number 1 argument of deceptive identifier is an instance of content bearing object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20199-20199	The number 1 argument of inventory is an instance of content bearing object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11690-11690	The number 1 argument of record is an instance of content bearing object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11716-11716	The number 1 argument of stored is an instance of content bearing object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15486-15486	The number 1 argument of edition is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15429-15429	The number 2 argument of authors is a subclass of content bearing object

antecedent

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1495-1501	If a process is an instance of operation planning and a content bearing physical is a result of the process and the content bearing physical is an instance of content bearing object and the content bearing physical contains information a proposition, then the proposition is an instance of operation plan
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10669-10677	If a process is an instance of planning and a content bearing physical is a result of the process and the content bearing physical is an instance of content bearing object, then there exists a proposition such that the proposition is an instance of plan and the content bearing physical contains information the proposition
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10695-10702	If a process is an instance of interpreting and an agent is an agent of the process and a content bearing physical is a patient of the process and the content bearing physical is an instance of content bearing object, then there exists a proposition such that the agent believes the content bearing physical contains information the proposition holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1503-1509	If a proposition is an instance of operation plan and a content bearing physical contains information the proposition and the content bearing physical is an instance of content bearing object and the content bearing physical is a result of a process, then the process is an instance of operation planning
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1541-1548	If a proposition is an instance of operation plan and a content bearing physical is an instance of content bearing object and the content bearing physical contains information the proposition and a process is an instance of military operation and the content bearing physical is a result of the process, then the proposition expresses the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16956-16964	If a proposition is an instance of plan and a content bearing physical is an instance of content bearing object and the content bearing physical contains information the proposition, then there exists the propositionNING such that the propositionNING is an instance of planning and the content bearing physical is a result of the propositionNING
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1780-1786	If a process is an instance of joint operation planning and a content bearing physical is a result of the process and the content bearing physical is an instance of content bearing object and the content bearing physical contains information a proposition, then the proposition is an instance of OPLA n
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2871-2878	If a proposition is an instance of proposition and a content bearing physical is an instance of content bearing object and the content bearing physical contains information the proposition and a process is an instance of communication and the content bearing physical is a patient of the process, then the process expresses the proposition
No TPTP formula. May not be expressible in strict first order.	TravelPolicies.kif 617-624	If a proposition is an instance of proposition and a content bearing physical is an instance of content bearing object and the content bearing physical contains information the proposition and a process is an instance of ExpenseReport and the content bearing physical is a patient of the process, then the process expresses the proposition
No TPTP formula. May not be expressible in strict first order.	Dining.kif 247-256	If an object is an instance of content bearing object and Braille is an attribute of the object, then there exists another object such that the other object is an instance of human and blind is an attribute of the other object and the other object is capable of doing interpreting as a agent and the object is capable of doing interpreting as a patient
No TPTP formula. May not be expressible in strict first order.	TravelPolicies.kif 95-100	If a content bearing physical is an instance of content bearing object, then there exists a proposition such that the proposition is an instance of proposition and the content bearing physical contains information the proposition

consequent

No TPTP formula. May not be expressible in strict first order.	Dining.kif 241-243	If Braille is an attribute of an object, then the object is an instance of content bearing object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3889-3899	If an entity is an instance of display artifact, then the entity has purpose there exist a process, another process and another entity such that the process is an instance of putting and the other process is an instance of disseminating and the other entity is an instance of content bearing object and the other entity is a patient of the process and the other entity is a patient of the other process and the process ends up at the entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12455-12460	If a process is an instance of content development, then there exists an entity such that the entity is an instance of content bearing object and the entity is a result of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4718-4723	If a process expresses the content of a proposition, then there exists a content bearing physical such that the content bearing physical is an instance of content bearing object and the content bearing physical contains information the proposition

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: