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 4580-4587
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 4576-4576	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 4577-4577	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 4574-4574	subsumes content instance is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4575-4575	subsumes content instance is an instance of partial ordering relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4578-4578	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 55823-55823
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55822-55822
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 14682-14691	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 15400-15407	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 4589-4593	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 4562-4566	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 14682-14691	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 15431-15440	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 4568-4572	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 14698-14703	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 29659-29667	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 1534-1540	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 29710-29722	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 14782-14787	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 14576-14581	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 14650-14658	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 14552-14557	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 15590-15595	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 4645-4652	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 2403-2403

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