TreeView Knowledge Base Browser - hinders

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - hinders

hinders

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2151-2153
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4234-4236
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4230-4230	The number 1 argument of hinders is an instance of process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4231-4231	The number 2 argument of hinders is a subclass of process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4227-4227	hinders is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4228-4228	hinders is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4229-4229	hinders is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4232-4232	hinders is internally related to hindersSubclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3635-3635
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.	Merge.kif 4209-4209	prevents is internally related to hinders

antecedent

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

Merge.kif 4238-4248

If a process hinders another kind of process,
then the time of existence of the process is equal to an entity and the process is located at 2 decreases likelihood of there exists another entity such that the other entity is an instance of another kind of process and the other entity is located at 2 holds during the entity

consequent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 3607-3631	If a physical is an instance of airbag, then the physical purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of automobile and the physical is a part of the entity and the other entity is an instance of human and the entity は the other entity を contains %n{ない} and the third entity is an instance of impacting and the entity is a patient of the third entity and the fourth entity is an instance of inflating and the physical is a patient of the fourth entity and the third entity causes the fourth entity and the fourth entity hinders the class described by a fifth entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16113-16134	If a physical is an instance of Protecting, then the physical purpose there exists an entity such that the entity is an instance of object and object is a patient of the physical and another entity is a subclass of the class described by a third entity and the physical prevents the occurrence of the other entity or the physical hinders the other entity

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