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 4407-4414
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4403-4403	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 4404-4404	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 4401-4401	subsumes content instance is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4402-4402	subsumes content instance is an instance of partial ordering relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4405-4405	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 245-245
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 55801-55801
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55800-55800

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 4395-4399	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 11461-11470	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 14281-14288	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 4416-4421	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 1026-1030	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 1032-1036	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 11461-11470	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 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 14312-14321	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 11477-11482	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 25893-25901	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 25944-25956	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 11561-11566	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 11357-11362	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 11429-11437	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 11333-11338	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 14471-14476	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 4469-4476	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 2376-2376

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