resourceExhausted - Sigma Knowledge base Browser

appearance as argument number 1

s__documentation(s__resourceExhausted, s__EnglishLanguage, "(resourceExhausted ?PROCESS ?RESOURCE) means that ?RESOURCE is present at the beginning of ?PROCESS, is used by ?PROCESS, and as a consequence is completely used up by the ?PROCESS_ For example, fuel is a resourceExhausted in the following proposition: the plane run out of fuel and ditched in the sea_")	Merge.kif 2633-2636
s__domain(s__resourceExhausted,n__1,s__Process)	Merge.kif 2638-2638	The number 1 argument of resource exhausted is an instance of process
s__domain(s__resourceExhausted,n__2,s__Object)	Merge.kif 2639-2639	The number 2 argument of resource exhausted is an instance of object
s__instance(s__resourceExhausted,s__CaseRole)	Merge.kif 2640-2640	resource exhausted is an instance of case role
s__instance(s__resourceExhausted,s__BinaryPredicate)	Merge.kif 2641-2641	resource exhausted is an instance of binary predicate
s__instance(s__resourceExhausted,s__PartialValuedRelation)	Merge.kif 2642-2642	resource exhausted is an instance of partial valued relation

appearance as argument number 2

s__format(s__EnglishLanguage, s__resourceExhausted, "%1 exhausts %2")	domainEnglishFormat.kif 4424-4424
s__format(s__ChineseTraditionalLanguage, s__resourceExhausted, "%1 exhausts %2 ")	domainEnglishFormat.kif 4425-4425
s__format(s__ChineseLanguage, s__resourceExhausted, "%1 exhausts %2 ")	domainEnglishFormat.kif 4426-4426
s__termFormat(s__EnglishLanguage, s__resourceExhausted, "resource exhausted")	domainEnglishFormat.kif 65959-65959

antecedent

! [V__C : $i,V__P : $i,V__R : $i] : (((s__resourceExhausted(V__P, V__R) & s__instance(V__R, V__C)) => s__holdsDuring(s__ImmediateFutureFn(s__WhenFn(V__P)), ~(( ? [V__OBJ1:$i] : ((s__part(V__OBJ1, V__R) & s__instance(V__OBJ1, V__C))))))))

If X exhausts Y and Y is an instance of Z, then there doesn't exist W such that W is a part of Y and W is an instance of Z holds during immediately after the time of existence of X