TreeView Knowledge Base Browser - subsumesContentClass

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

subsumesContentClass

Sigma KEE - subsumesContentClass

subsumesContentClass

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2181-2187
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4522-4533
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 842-849
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4519-4519	The number 1 argument of subsumes content class is a subclass of content bearing physical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4520-4520	The number 2 argument of subsumes content class is a subclass of content bearing physical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4517-4517	subsumes content class is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4518-4518	subsumes content class is an instance of partial ordering relation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 239-239
No TPTP formula. May not be expressible in strict first order.	english_format.kif 240-240
No TPTP formula. May not be expressible in strict first order.	french_format.kif 137-137
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 282-282
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1968-1968
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 89-89
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 308-308
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 319-319
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 156-156
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 142-142
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 474-474
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
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 240-240
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55817-55817
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55816-55816
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 99-99

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 4505-4509	If a kind of content bearing physical subsumes the content of another kind of content bearing physical and another kind of content bearing physical subsumes the content of a kind of content bearing physical, then the kind of content bearing physical is equivalent to the other kind of content bearing physical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4535-4545	If a kind of content bearing physical subsumes the content of another kind of content bearing physical, then for all a third content bearing physical and a proposition if the third content bearing physical is an instance of another kind of content bearing physical and the third content bearing physical contains information the proposition, then there exists a fourth content bearing physical such that the fourth content bearing physical is an instance of a kind of content bearing physical and the fourth content bearing physical contains information the proposition

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 15534-15536	If edition a positive integer of a kind of content bearing physical is equal to another kind of content bearing physical, then a kind of content bearing physical subsumes the content of another kind of content bearing physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14669-14671	If the periodical number a positive integer of a kind of periodical is equal to another kind of periodical, then a kind of periodical subsumes the content of another kind of periodical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14640-14642	If volume a positive integer in the series a kind of series is equal to a kind of text, then a kind of series subsumes the content of a kind of text
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4511-4515	If a kind of content bearing physical is equivalent to another kind of content bearing physical, then a kind of content bearing physical subsumes the content of another kind of content bearing physical and the other kind of content bearing physical subsumes the content of the kind of content bearing physical

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7865-7865	Christian bible subsumes the content of new testament
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7866-7866	Christian bible subsumes the content of old testament
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7880-7880	New testament subsumes the content of christian gospel

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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