TreeView Knowledge Base Browser

appearance as argument number 1

(documentation resourceExhausted ChineseLanguage "(resourceExhausted ?PROCESS ?RESOURCE) 的意思是 ?RESOURCE 在 ?PROCESS 开始时存在、?PROCESS 利用了他、结果它完全被 ?PROCESS 消耗掉了。例如：在以下'那飞机的燃料耗尽了，就丢到大海里了'这命题，燃料是个 resourceExhausted。")	chinese_format.kif 1892-1894
(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 2525-2528
(documentation resourceExhausted JapaneseLanguage "(resourceExhausted ?PROCESS ?RESOURCE) とは、?RESOURCE が ?PROCESS の開始時に存在し、?PROCESS によって使用され、その結果、?PROCESS によって完全に使い古されたことを意味する。　例：燃料は、次の命題で使用される resourceExhausted である: 飛行機は燃料を使い果たし、海に不時着した。")	japanese_format.kif 517-520
(domain resourceExhausted 1 Process)	Merge.kif 2530-2530	resourceExhausted 的 1 数量是过程的 instance
(domain resourceExhausted 2 Object)	Merge.kif 2531-2531	resourceExhausted 的 2 数量是客体的 instance
(instance resourceExhausted AsymmetricRelation)	Merge.kif 2533-2533	resourceExhausted 是非对称关系的 instance
(instance resourceExhausted BinaryPredicate)	Merge.kif 2534-2534	resourceExhausted 是二元谓语的 instance
(instance resourceExhausted CaseRole)	Merge.kif 2532-2532	resourceExhausted 是格角色的 instance
(instance resourceExhausted PartialValuedRelation)	Merge.kif 2535-2535	resourceExhausted 是部分值关系的 instance

appearance as argument number 2

(format ChineseLanguage resourceExhausted "%1 exhausts %2 ")	domainEnglishFormat.kif 4422-4422
(format ChineseTraditionalLanguage resourceExhausted "%1 exhausts %2 ")	domainEnglishFormat.kif 4421-4421
(format EnglishLanguage resourceExhausted "%1 exhausts %2")	domainEnglishFormat.kif 4420-4420
(termFormat EnglishLanguage resourceExhausted "resource exhausted")	domainEnglishFormat.kif 65928-65928

antecedent

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

Merge.kif 2537-2546

如果过程 exhausts 客体和那个客体是类的 instance，
然后不存在实体这样那个实体是那个客体的 part 和那个实体是那个类的 instance 在紧接那个过程出现的 time after holdsDuring

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

KB Term:			Term intersection

English Word: