hinders - Sigma Knowledge base Browser

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 4406-4408
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 807-809
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4402-4402	The number 1 argument of hinders is an instance of process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4403-4403	The number 2 argument of hinders is a subclass of process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4400-4400	hinders is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4401-4401	hinders is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4404-4404	hinders is internally related to hinders subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3628-3628
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3627-3627
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3626-3626
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4382-4382	prevents is internally related to hinders
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65889-65889	prevents is internally related to hinders

antecedent

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

Merge.kif 4410-4421

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

consequent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 3693-3717	If a physical is an instance of airbag, then the physical has the purpose there exist an entity, another entity,, , a third entity,, , a fourth entity,, , a fifth entity and a sixth 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 contains the other entity 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 the fifth entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20009-20030	If a physical is an instance of protecting, then the physical has the purpose there exist an entity, another entity,, , a third entity and the third entityARM such that the entity is an instance of object and object is a patient of the physical and the third entityARM is a subclass of the class described by the third entity and the physical prevents the occurrence of the third entityARM or the physical hinders the third entityARM

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