hinders - Sigma Knowledge base Browser

appearance as argument number 1

(documentation hinders ChineseLanguage "这是一个概括的 Predicate，(hinders ?PROC1 ?PROC2) 的意思是 ?PROC1 的一个实例 decreasesLikelihood ?PROC2 类的发生。这个比 prevents 要弱，而 hindersSubclass 则是联系 Process 类别之间的关系。")	chinese_format.kif 2151-2153
(documentation hinders EnglishLanguage "A general Predicate, where (hinders ?PROC1 ?PROC2) means that an instance of ?PROC1 decreasesLikelihood of occurrence of ?PROC2. Compare with prevents which is stronger and hindersSubclass which relates classes of Processes.")	Merge.kif 4396-4398
(documentation hinders JapaneseLanguage "一般的な Predicate は、(hinders ?PROC1 ?PROC2) が?PROC2の発生の?PROC1 decreasesLikelihood のインスタンスを意味する。　Process のクラスに関連するより強く hindersSubclass の prevents と比較する。")	japanese_format.kif 807-809
(domain hinders 1 Process)	Merge.kif 4392-4392	The number 1 argument of hinders is an instance of process
(domainSubclass hinders 2 Process)	Merge.kif 4393-4393	The number 2 argument of hinders is a subclass of process
(instance hinders BinaryPredicate)	Merge.kif 4389-4389	hinders is an instance of binary predicate
(instance hinders IrreflexiveRelation)	Merge.kif 4390-4390	hinders is an instance of irreflexive relation
(instance hinders PartialValuedRelation)	Merge.kif 4391-4391	hinders is an instance of partial valued relation
(relatedInternalConcept hinders hindersSubclass)	Merge.kif 4394-4394	hinders is internally related to hinders subclass

appearance as argument number 2

(format ChineseLanguage hinders "%1 hinders %2 ")	domainEnglishFormat.kif 3624-3624
(format ChineseTraditionalLanguage hinders "%1 hinders %2 ")	domainEnglishFormat.kif 3623-3623
(format EnglishLanguage hinders "%1 hinders %2")	domainEnglishFormat.kif 3622-3622
(relatedInternalConcept prevents hinders)	Merge.kif 4371-4371	prevents is internally related to hinders
(termFormat EnglishLanguage hinders "hinders")	domainEnglishFormat.kif 65904-65904	prevents is internally related to hinders

antecedent

(=>
    (hinders ?X ?PROC)
    (exists (?L ?T)
        (decreasesLikelihood
            (and
                (equal
                    (WhenFn ?X) ?T)
                (eventLocated ?X ?L))
            (holdsDuring ?T
                (exists (?Y)
                    (and
                        (instance ?Y ?PROC)
                        (eventLocated ?Y ?L)))))))

Merge.kif 4400-4411

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

(=> (instance ?X AutoAirbag) (hasPurpose ?X (exists (?CAR ?PERSON ?IMP ?INF ?INJ ?HIT) (and (instance ?CAR Automobile) (part ?X ?CAR) (instance ?PERSON Human) (contains ?CAR ?PERSON) (instance ?IMP Impacting) (patient ?IMP ?CAR) (instance ?INF Inflating) (patient ?INF ?X) (causes ?IMP ?INF) (hinders ?INF (KappaFn ?INJ (and (instance ?INJ Injuring) (experiencer ?INJ ?PERSON) (exists (?HIT) (and (instance ?HIT Impacting) (destination ?HIT ?CAR) (experiencer ?HIT ?PERSON) (causes ?HIT ?INJ))))))))))	Cars.kif 3617-3641	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
(=> (instance ?X Protecting) (hasPurpose ?X (exists (?OBJ ?T ?H ?HARM) (and (instance ?OBJ Object) (patient ?X Object) (subclass ?HARM (KappaFn ?H (and (or (instance ?H CriminalAction) (instance ?H Damaging)) (=> (holdsDuring ?T (patient ?H ?OBJ)) (not (holdsDuring ?T (patient ?X ?OBJ))))))) (or (prevents ?X ?HARM) (hinders ?X ?HARM))))))	Mid-level-ontology.kif 18679-18700	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

KB Term:			Term intersection

English Word: