hindersSubclass - Sigma Knowledge base Browser

appearance as argument number 1

s__instance(s__hindersSubclass,s__BinaryPredicate)	Merge.kif 4420-4420	hinders subclass is an instance of binary predicate
s__instance(s__hindersSubclass,s__IrreflexiveRelation)	Merge.kif 4421-4421	hinders subclass is an instance of irreflexive relation
s__instance(s__hindersSubclass,s__PartialValuedRelation)	Merge.kif 4422-4422	hinders subclass is an instance of partial valued relation
s__domainSubclass(s__hindersSubclass,n__1,s__Process)	Merge.kif 4423-4423	The number 1 argument of hinders subclass is a subclass of process
s__domainSubclass(s__hindersSubclass,n__2,s__Process)	Merge.kif 4424-4424	The number 2 argument of hinders subclass is a subclass of process
s__documentation(s__hindersSubclass, s__EnglishLanguage, "A very general Predicate_ (hindersSubclass ?PROC1 ?PROC2) means that the Process ?PROC1 hindersSubclass or hinders the occurrence of the Process ?PROC2_ For example, obstructing an object hindersSubclass moving it_ Note that this is a relation between types of Processes, not between instances_")	Merge.kif 4426-4431	The number 2 argument of hinders subclass is a subclass of process

appearance as argument number 2

s__relatedInternalConcept(s__preventsSubclass,s__hindersSubclass)	Merge.kif 4453-4453	prevents subclass is internally related to hinders subclass
s__relatedInternalConcept(s__hinders,s__hindersSubclass)	Merge.kif 4505-4505	hinders is internally related to hinders subclass
s__format(s__EnglishLanguage, s__hindersSubclass, "instances of %1 hinder instances of %2")	domainEnglishFormat.kif 3630-3630	hinders is internally related to hinders subclass
s__format(s__ChineseTraditionalLanguage, s__hindersSubclass, "%1 的例子 hinder %2 的 instances ")	domainEnglishFormat.kif 3631-3631	hinders is internally related to hinders subclass
s__format(s__ChineseLanguage, s__hindersSubclass, "%1 的例子 hinder %2 的 instances ")	domainEnglishFormat.kif 3632-3632	hinders is internally related to hinders subclass
s__termFormat(s__EnglishLanguage, s__hindersSubclass, "hinders subclass")	domainEnglishFormat.kif 65868-65868	hinders is internally related to hinders subclass

antecedent

! [V__PROC1 : $i,V__PROC2 : $i] : ((s__hindersSubclass(V__PROC1, V__PROC2) => ( ! [V__TIME:$i, V__PLACE:$i] : (s__decreasesLikelihood(s__holdsDuring(V__TIME, ( ? [V__INST1:$i] : ((s__instance(V__INST1, V__PROC1) & s__eventLocated(V__INST1, V__PLACE))))), s__holdsDuring(V__TIME, ( ? [V__INST2:$i] : ((s__instance(V__INST2, V__PROC2) & s__eventLocated(V__INST2, V__PLACE))))))))))

If instances of X hinder instances of Y, then For all Entities Z and W: there exists V such that V is an instance of X, V is located at W holds during Z decreases likelihood of there exists U such that U is an instance of Y, and U is located at W holds during Z