hindersSubclass - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - hindersSubclass

hindersSubclass

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2139-2142
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4312-4317
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 795-798
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4309-4309	The number 1 argument of hinders subclass is a subclass of process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4310-4310	The number 2 argument of hinders subclass is a subclass of process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4306-4306	hinders subclass is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4307-4307	hinders subclass is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4308-4308	hinders subclass is an instance of partial valued relation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3634-3634
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3633-3633
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3632-3632
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4393-4393	hinders is internally related to hinders subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4339-4339	prevents subclass is internally related to hinders subclass
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65852-65852

antecedent

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

Merge.kif 4319-4332

If instances of a kind of process hinder instances of another kind of process,
then for all an entity and another entity there exists a third entity such that the third entity is an instance of a kind of process and the third entity is located at the other entity holds during the entity decreases likelihood of there exists a fourth entity such that the fourth entity is an instance of another kind of process and the fourth entity is located at the other entity holds during the entity

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