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.	Merge.kif 4690-4694
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4682-4689
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4679-4679	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 4680-4680	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 4677-4677	subsumes content instance is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4678-4678	subsumes content instance is an instance of partial ordering relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4681-4681	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 147-147
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.	portuguese_format.kif 90-90
No TPTP formula. May not be expressible in strict first order.	arabic_format.kif 88-88
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-tg.txt 475-475
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 242-242	"包含内容实例" is the printable form of subsumes content instance in ChineseLanguage
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9732-9732	"subsumes content instance" is the printable form of subsumes content instance in english language
No TPTP formula. May not be expressible in strict first order.	arabic_format.kif 538-538	"«يَتَضَمَّن مَضْمُون»" is the printable form of subsumes content instance in ar

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 4671-4675	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 if and only if the content bearing physical is equivalent to the other content bearing physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12166-12175	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 the third content bearing physical is not equal to 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 15367-15374	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 4696-4701	If a content bearing physical subsumes the content of another content bearing physical, then for all a proposition if the other content bearing physical contains information the proposition, then the content bearing physical contains information the proposition

consequent

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1017-1021	If a symbolic string is the type of a kind of product and another symbolic string is the type of a kind of product, then the symbolic string subsumes the content of the other symbolic string
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1023-1027	If a symbolic string is the type of a kind of artifact and another kind of artifact is a version of a kind of artifact, then the symbolic string subsumes the content of another kind of artifact
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12166-12175	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 the third content bearing physical is not equal to 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 1044-1051	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 1104-1113	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 15401-15410	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.	Mid-level-ontology.kif 12182-12187	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 27389-27397	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 1524-1530	If a content bearing physical is an instance of SoftwareFile, 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 27446-27458	If a time interval is an instance of Prompting, then there exist an agent and another agent such that the time interval ends up at the agent and the other agent is an agent of the time interval and the other agent desires there exists another time interval such that the other time interval is an instance of linguistic communication and the agent is an agent of the other time interval and the time interval happens earlier than the other time interval and the other time interval subsumes the content of the time interval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12266-12271	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 12062-12067	If a content bearing physical is an instance of motion picture scene, then there exists an entity such that the entity is an instance of motion picture and the entityOVIE subsumes the content of the content bearing physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12134-12142	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 the other content bearing physical is not equal to the third content bearing physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12038-12043	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 15571-15576	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 4754-4761	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 2350-2350

Immigration and nationality act-U s subsumes the content of immigration and nationality act- section219-U s

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