TreeView Knowledge Base Browser

appearance as argument number 1

(documentation resourceExhausted 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
(domain resourceExhausted 1 Process)	Merge.kif 2638-2638	The number 1 argument of resource exhausted is an instance of process
(domain resourceExhausted 2 Object)	Merge.kif 2639-2639	The number 2 argument of resource exhausted is an instance of object
(instance resourceExhausted CaseRole)	Merge.kif 2640-2640	resource exhausted is an instance of case role
(instance resourceExhausted BinaryPredicate)	Merge.kif 2641-2641	resource exhausted is an instance of binary predicate
(instance resourceExhausted PartialValuedRelation)	Merge.kif 2642-2642	resource exhausted is an instance of partial valued relation

appearance as argument number 2

(format EnglishLanguage resourceExhausted "%1 exhausts %2")	domainEnglishFormat.kif 4424-4424
(format ChineseTraditionalLanguage resourceExhausted "%1 exhausts %2 ")	domainEnglishFormat.kif 4425-4425
(format ChineseLanguage resourceExhausted "%1 exhausts %2 ")	domainEnglishFormat.kif 4426-4426
(termFormat EnglishLanguage resourceExhausted "resource exhausted")	domainEnglishFormat.kif 65959-65959

antecedent

(=>
    (and
        (resourceExhausted ?P ?R)
        (instance ?R ?C))
    (holdsDuring
        (ImmediateFutureFn
            (WhenFn ?P))
        (not
            (exists (?OBJ1)
                (and
                    (part ?OBJ1 ?R)
                    (instance ?OBJ1 ?C))))))

Merge.kif 2644-2655

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

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: