resourceExhausted |
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 | Le nombre 1 argument de resourceExhausted est une instance de processus |
(domain resourceExhausted 2 Object) | Merge.kif 2531-2531 | Le nombre 2 argument de resourceExhausted est une instance de objet |
(instance resourceExhausted AsymmetricRelation) | Merge.kif 2533-2533 | resourceExhausted est une instance de relation asym�trique |
(instance resourceExhausted BinaryPredicate) | Merge.kif 2534-2534 | resourceExhausted est une instance de pr�dicat binaire |
(instance resourceExhausted CaseRole) | Merge.kif 2532-2532 | resourceExhausted est une instance de r�le d�pendant du cas |
(instance resourceExhausted PartialValuedRelation) | Merge.kif 2535-2535 | resourceExhausted est une instance de relation partielle |
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 65930-65930 |
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 |