subsumesContentInstance - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - subsumesContentInstance

subsumesContentInstance

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2193-2197
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4608-4615
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 856-861
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4604-4604	The number 1 argument of subsumes content instance is an instance of content bearing physical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4605-4605	The number 2 argument of subsumes content instance is an instance of content bearing physical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4602-4602	subsumes content instance is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4603-4603	subsumes content instance is an instance of partial ordering relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4606-4606	subsumes content instance is internally related to subsumes content class

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 241-241
No TPTP formula. May not be expressible in strict first order.	english_format.kif 242-242
No TPTP formula. May not be expressible in strict first order.	french_format.kif 138-138
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 283-283
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1969-1969
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 90-90
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 311-311
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 320-320
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 157-157
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 143-143
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 475-475
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 242-242
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55827-55827
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55826-55826
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 100-100

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16053-16062	If a content bearing physical is an instance of article and another content bearing physical is an instance of book and the other content bearing physical subsumes the content of the content bearing physical, then there exists a third content bearing physical such that the third content bearing physical is an instance of article and equal the third content bearing physical and the content bearing physical and the other content bearing physical subsumes the content of the third content bearing physical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15553-15560	If a content bearing physical is an instance of a kind of content bearing object and a kind of content bearing object is a subclass of factual text and a cognitive agent is the author of the kind of content bearing object and the content bearing physical subsumes the content of a formula and the formula is an instance of formula, then the cognitive agent believes the formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4617-4621	If a content bearing physical subsumes the content of another content bearing physical and the other content bearing physical contains information a proposition, then the content bearing physical contains information the proposition
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4590-4594	If a content bearing physical subsumes the content of another content bearing physical and the other content bearing physical subsumes the content of the content bearing physical, then the content bearing physical is equivalent to the other content bearing physical

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16053-16062	If a content bearing physical is an instance of article and another content bearing physical is an instance of book and the other content bearing physical subsumes the content of the content bearing physical, then there exists a third content bearing physical such that the third content bearing physical is an instance of article and equal the third content bearing physical and the content bearing physical and the other content bearing physical subsumes the content of the third content bearing physical
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1097-1104	If an object is an instance of ship registration and an agent is an instance of ship and the agent possesses the object and a geopolitical area is an instance of geopolitical area and the geopolitical area is a flag state of the agent, then the ship register of the geopolitical area subsumes the content of the object
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1157-1166	If an agent is an instance of ship and a geopolitical area is an instance of geopolitical area and the agent is a member of the merchant marine of the geopolitical area, then there exists an object such that the object is an instance of ship registration and the agent possesses the object and the ship register of the geopolitical area subsumes the content of the object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15584-15593	If a content bearing physical is an instance of a kind of content bearing object and a kind of content bearing object is a subclass of fictional text and a cognitive agent is the author of the kind of content bearing object, then there exists a formula such that the content bearing physical subsumes the content of the formula and the formula is an instance of formula and the cognitive agent doesn't believe the formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4596-4600	If a content bearing physical is equivalent to another content bearing physical, then the content bearing physical subsumes the content of the other content bearing physical and the other content bearing physical subsumes the content of the content bearing physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16069-16074	If a content bearing physical is an instance of chapter, then there exists another content bearing physical such that the other content bearing physical is an instance of book and the other content bearing physical subsumes the content of the content bearing physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31578-31586	If a time interval is an instance of elaborating, then there exist another time interval, the time intervalP and the other time intervalP such that the other time interval is an instance of linguistic communication and the other time interval happens earlier than the time interval and the time interval contains information the time intervalP and the other time interval contains information the other time intervalP and the time intervalP subsumes the content of the other time intervalP
No TPTP formula. May not be expressible in strict first order.	Media.kif 1536-1542	If a content bearing physical is an instance of software file, then there exist another content bearing physical and a proposition such that the other content bearing physical is an instance of computer program and the other content bearing physical subsumes the content of the proposition and the content bearing physical contains information the proposition
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31629-31641	If a process is an instance of prompting, then there exist an entity and a cognitive agent such that the process ends up at the entity and the cognitive agent is an agent of the process and the cognitive agent desires there exists another entity such that the other entity is an instance of linguistic communication and the entity is an agent of the other entity and the process happens earlier than the other entity and the other entity subsumes the content of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16155-16160	If a content bearing physical is an instance of newspaper, then there exists another content bearing physical such that the other content bearing physical is an instance of report and the content bearing physical subsumes the content of the other content bearing physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15947-15952	If a content bearing physical is an instance of motion picture scene, then there exists another content bearing physical such that the other content bearing physical is an instance of motion picture and the other content bearing physical subsumes the content of the content bearing physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16021-16029	If a content bearing physical is an instance of series, then there exist another content bearing physical and a third content bearing physical such that the other content bearing physical is an instance of book and the third content bearing physical is an instance of book and the content bearing physical subsumes the content of the other content bearing physical and the content bearing physical subsumes the content of the third content bearing physical and equal the other content bearing physical and the third content bearing physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15923-15928	If a content bearing physical is an instance of motion picture shot, then there exists another content bearing physical such that the other content bearing physical is an instance of motion picture and the other content bearing physical subsumes the content of the content bearing physical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15740-15745	If a content bearing physical is an instance of summary, then there exists the content bearing physical2 such that the content bearing physical2 is an instance of text and the content bearing physical2 subsumes the content of the content bearing physical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4673-4680	If a proposition is a sub-proposition of another proposition, then for all a content bearing physical and another content bearing physical if the content bearing physical contains information the proposition and the other content bearing physical contains information the other proposition, then the other content bearing physical subsumes the content of the content bearing physical

appearance as argument number 0

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

Government.kif 2364-2364

Immigration and nationality act_US subsumes the content of immigration and nationality act- section219-US

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